| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-25 12:48:44 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-25 12:48:44 +0200 |
| commit | 4669bdf7046c03200a28de4188075bee69571eb8 (patch) | |
| tree | 97ff430a177d257be7e11d1392f3894d27de2f63 /data/property/simple_flip_flop.pro | |
| parent | 0fc661ebabdf55b8e0d26c4f85f0547c106b6549 (diff) | |
Updates Tests, fixes 2 properties & inferred/*.mod
Diffstat (limited to 'data/property/simple_flip_flop.pro')
| -rw-r--r-- | data/property/simple_flip_flop.pro | 5 |
1 files changed, 3 insertions, 2 deletions
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) |