Include final step in inductive counterexamples

loonwerks · Feb 17, 2013 · 429bde9 · 429bde9
1 parent f9ab4f0
commit 429bde9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/jkind/processes/InductiveProcess.java b/src/jkind/processes/InductiveProcess.java
@@ -113,7 +113,7 @@ private void checkProperties(int k) {
 					String p = iterator.next();
 					BoolValue v = (BoolValue) model.getFunctionValue("$" + p, index);
 					if (!v.getBool()) {
-						sendInductiveCounterexample(p, n, k, model);
+						sendInductiveCounterexample(p, n, k+1, model);
 						iterator.remove();
 					}
 				}