Added command line flag for invariant generation

baec174b · Philipp Meyer · 8af8ae65 · baec174b
Commit baec174b authored Jan 09, 2015 by Philipp Meyer
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

src/Options.hs src/Options.hs +4 -0

No files found.
--- a/src/Options.hs
+++ b/src/Options.hs
@@ -171,6 +171,10 @@ options =
               }))
        "Prove that the net is communication-free"

+        , Option "i" ["invariant"]
+        (NoArg (\opt -> Right opt { optInvariant = True }))
+        "Generate an invariant"
+
        , Option "n" ["no-refinement"]
        (NoArg (\opt -> Right opt { optRefine = False }))
        "Don't use refinement"