From 4669bdf7046c03200a28de4188075bee69571eb8 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 25 Sep 2017 12:48:44 +0200
Subject: Updates Tests, fixes 2 properties & inferred/*.mod

---
 data/property/simple_flip_flop.pro | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'data/property/simple_flip_flop.pro')

diff --git a/data/property/simple_flip_flop.pro b/data/property/simple_flip_flop.pro
index b054c7f..09ef98b 100644
--- a/data/property/simple_flip_flop.pro
+++ b/data/property/simple_flip_flop.pro
@@ -9,7 +9,8 @@
       (is_explicit_process ps)
       (is_in_sensitivity_list clk ps)
       (CTL_verifies ps
-         (AF
+         (AU
+            (not (expr_writes reg))
             (and
                (kind "if")
                (or
@@ -46,7 +47,7 @@
                )
                (EX
                   (and
-                     (has_option "COND_WAS_TRUE")
+                     (has_option "cond_was_true")
                      (does_not_reach_parent_before
                         (and
                            (expr_writes reg)
-- 
cgit v1.2.3-70-g09d2