| summaryrefslogtreecommitdiff |
diff options
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 |