Commit 8efbcf59 authored by Philipp Meyer's avatar Philipp Meyer
Browse files

Also show refinement size after finding refinements

parent e6c01672
......@@ -324,6 +324,9 @@ checkLivenessProperty net f = do
case r of
(Nothing, cuts) -> do
verbosePut 2 $ "Number of refinements: " ++ show (length cuts)
let cutSizes= map (invariantSize . cutToLivenessInvariant) cuts
verbosePut 2 $ "Number of atoms in refinements: " ++ show cutSizes ++
" (total of " ++ show (sum cutSizes) ++ ")"
invariant <- opt optInvariant
if invariant then
getLivenessInvariant net f cuts >>= printInvariant
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment