Removed antiquated FSM checker flags (issue 326)

ModelInference · Apr 30, 2015 · e7724b1 · e7724b1
1 parent 1bb604a
commit e7724b1
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 10 deletions.
diff --git a/synoptic/src/synoptic/main/options/ExtPerfumeOptions.java b/synoptic/src/synoptic/main/options/ExtPerfumeOptions.java
@@ -104,11 +104,6 @@ public class ExtPerfumeOptions extends Options {
     @Option(value = AbstractOptions.logLvlVerboseStr, aliases = { "-verbose" })
     public boolean logLvlVerbose = false;
 
-    /**
-     * Perfume always uses the FSM checker
-     */
-    public final boolean useFSMChecker = true;
-
     /**
      * Sets the random seed for Perfume's source of pseudo-random numbers.
      */

diff --git a/synoptic/src/synoptic/main/options/PerfumeOptions.java b/synoptic/src/synoptic/main/options/PerfumeOptions.java
@@ -60,11 +60,6 @@ public class PerfumeOptions extends Options {
     @Option(value = AbstractOptions.logLvlVerboseStr, aliases = { "-verbose" })
     public boolean logLvlVerbose = false;
 
-    /**
-     * Perfume always uses the FSM checker
-     */
-    public final boolean useFSMChecker = true;
-
     /**
      * Sets the random seed for Perfume's source of pseudo-random numbers.
      */