From d06e45b244a66d0ee0ca860e5b81b742d5667db7 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Fri, 11 Jun 2021 12:53:03 +0200
Subject: [PATCH] improve assertion failure message for LTL counter example
---
.../src/de/prob/core/domainobjects/ltl/CounterExample.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.core/src/de/prob/core/domainobjects/ltl/CounterExample.java b/de.prob.core/src/de/prob/core/domainobjects/ltl/CounterExample.java
index 4c45e0f2..43dffabb 100644
--- a/de.prob.core/src/de/prob/core/domainobjects/ltl/CounterExample.java
+++ b/de.prob.core/src/de/prob/core/domainobjects/ltl/CounterExample.java
@@ -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++) {
--
GitLab