From 72e3e22062b19c1f253bcf939a771bd82c5575ce Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Tue, 15 Dec 2015 11:11:20 +0100
Subject: [PATCH] WD check is now always enabled
---
src/main/java/de/tlc4b/TLC4BGlobals.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/de/tlc4b/TLC4BGlobals.java b/src/main/java/de/tlc4b/TLC4BGlobals.java
index 77f9efd..bb216e9 100644
--- a/src/main/java/de/tlc4b/TLC4BGlobals.java
+++ b/src/main/java/de/tlc4b/TLC4BGlobals.java
@@ -49,7 +49,7 @@ public class TLC4BGlobals {
checkInvariant = true;
checkAssertion = true;
checkLTL = true;
- checkWD = false;
+ checkWD = true;
partialInvariantEvaluation = false;
useSymmetry = false;
printCoverage = false;
--
GitLab