Added specification import feature

rug-ds-lab · Mar 7, 2017 · 1305abd · 1305abd
1 parent 0b72c7d
commit 1305abd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/build.xml b/build.xml
@@ -1,5 +1,5 @@
 <project name="VxBPM" basedir=".">
-	<property name="version">1.1.0</property>
+	<property name="version">0.2.0</property>
 	<property name="dir.src">src</property>
 	<property name="dir.build">out</property>
 	<property name="dir.build.production">${dir.build}/production/VxBPM</property>

diff --git a/src/nl/rug/ds/bpm/verification/models/kripke/Kripke.java b/src/nl/rug/ds/bpm/verification/models/kripke/Kripke.java
@@ -19,7 +19,7 @@ public Kripke() {
         states = new TreeSet<State>(new StateComparator());
         initial = new TreeSet<State>(new StateComparator());
 
-        propositionOptimized = new TreeSet<>();
+        propositionOptimized = new TreeSet<>(new StringComparator());
         stutterOptimizedStates = new ArrayList<>();
     }
 
@@ -156,4 +156,4 @@ public String toString(boolean fullOutput) {
 
         return ret;
     }
-}
+}