Changed liveness refinement to use s-components as default

a32a40a1 · Philipp Meyer · 2dd9c5ea · a32a40a1
Commit a32a40a1 authored Jan 19, 2015 by Philipp Meyer
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/Options.hs src/Options.hs +1 -1

No files found.
--- a/src/Options.hs
+++ b/src/Options.hs
@@ -59,7 +59,7 @@ startOptions = Options { inputFormat = PNET
                       , optProperties = []
                       , optTransformations = []
                       , optRefine = True
-                       , optRefinementType = TrapRefinement
+                       , optRefinementType = SComponentRefinement
                       , optInvariant = False
                       , optOutput = Nothing
                       , outputFormat = OutLOLA