Commit d06e45b2 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

improve assertion failure message for LTL counter example

parent 6b63025a
......@@ -146,7 +146,7 @@ public class CounterExample {
final String name = atomicFormulaNames[atomicId];
Logger.assertProB("CounterExample invalid",
Logger.assertProB("CounterExample functor invalid: "+functor,
values.length == predicateValues.get(atomicId).size());
for (int i = 0; i < predicateValues.get(atomicId).size(); i++) {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment