Commit 0f391273 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

improve LTL assertion failure message

problem was not functor but length of values
parent d06e45b2
......@@ -145,11 +145,15 @@ public class CounterExample {
int atomicId = atomic.getValue().intValue();
final String name = atomicFormulaNames[atomicId];
int atomicIdSize = predicateValues.get(atomicId).size();
Logger.assertProB("CounterExample functor invalid: "+functor,
values.length == predicateValues.get(atomicId).size());
Logger.assertProB("CounterExampleProposition invalid, expected values.length = " +
values.length + ", got term with: " + atomicIdSize +
" values; Prolog term = " + term.toString(),
values.length == atomicIdSize);
for (int i = 0; i < predicateValues.get(atomicId).size(); i++) {
for (int i = 0; i < atomicIdSize; i++) {
values[i] = predicateValues.get(atomicId).get(i) ? CounterExampleValueType.TRUE
: CounterExampleValueType.FALSE;
}
......
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