From 6f01e052f205d95d8b78c3f43520d642bdaca086 Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Mon, 18 May 2015 15:39:34 +0200
Subject: [PATCH] fixed minor bug
---
src/main/java/de/tlc4b/ltl/LTLFormulaPrinter.java | 2 +-
src/test/java/de/tlc4b/ltl/LtlFormulaTest.java | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/java/de/tlc4b/ltl/LTLFormulaPrinter.java b/src/main/java/de/tlc4b/ltl/LTLFormulaPrinter.java
index 6e6315e..0f5546f 100644
--- a/src/main/java/de/tlc4b/ltl/LTLFormulaPrinter.java
+++ b/src/main/java/de/tlc4b/ltl/LTLFormulaPrinter.java
@@ -188,7 +188,7 @@ public class LTLFormulaPrinter extends DepthFirstAdapter {
}
tlaPrinter.moduleStringAppend("\\neg(ENABLED(");
tlaPrinter.moduleStringAppend(action1.getOperation().getText());
- tlaPrinter.moduleStringAppend("), ENABLED(");
+ tlaPrinter.moduleStringAppend(") /\\ ENABLED(");
AOpActions action2 = (AOpActions) copy.get(j);
tlaPrinter.moduleStringAppend(action2.getOperation().getText());
tlaPrinter.moduleStringAppend("))");
diff --git a/src/test/java/de/tlc4b/ltl/LtlFormulaTest.java b/src/test/java/de/tlc4b/ltl/LtlFormulaTest.java
index 58252b5..35465bd 100644
--- a/src/test/java/de/tlc4b/ltl/LtlFormulaTest.java
+++ b/src/test/java/de/tlc4b/ltl/LtlFormulaTest.java
@@ -182,7 +182,7 @@ public class LtlFormulaTest {
String machine = "MACHINE test\n"
+ "OPERATIONS foo = skip; bar = skip; bazz = skip\n"
+ "END";
- String expected = "\\neg(ENABLED(foo),ENABLED(bar))/\\ \\neg(ENABLED(foo),ENABLED(bazz))/\\ \\neg(ENABLED(bar),ENABLED(bazz))";
+ String expected = "\\neg(ENABLED(foo) /\\ ENABLED(bar)) /\\ \\neg(ENABLED(foo) /\\ ENABLED(bazz)) /\\ \\neg(ENABLED(bar) /\\ ENABLED(bazz))";
compareLTLFormula(expected, machine, "deterministic(foo,bar,bazz)");
}
--
GitLab