| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-25 15:09:28 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-25 15:09:28 +0200 |
| commit | 3b35064d28382b66bdbe481baca9d80cc059dc42 (patch) | |
| tree | c625327c6ab3c7487a42f5438b2e06487bba6eb5 /data/property/combinational_processes.pro | |
| parent | 97439a89b5439ce120e5bc2814251ce9dc513ce0 (diff) | |
Fixes issues with "_". things seem to work now.
Diffstat (limited to 'data/property/combinational_processes.pro')
| -rw-r--r-- | data/property/combinational_processes.pro | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/property/combinational_processes.pro b/data/property/combinational_processes.pro index 5008a06..b3f2633 100644 --- a/data/property/combinational_processes.pro +++ b/data/property/combinational_processes.pro @@ -9,7 +9,7 @@ (CTL_verifies ps (EF (and - (expr_reads sl1) + (is_read_element _ sl1) (expr_writes target) (not (AX |