| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data')
| -rw-r--r-- | data/level/control_flow_level_kodkod.data | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/data/level/control_flow_level_kodkod.data b/data/level/control_flow_level_kodkod.data index 987b63e..ed11735 100644 --- a/data/level/control_flow_level_kodkod.data +++ b/data/level/control_flow_level_kodkod.data @@ -11,3 +11,4 @@ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (add_predicate is_path_of path node) (add_predicate contains_node path node) +(add_predicate is_before path node node) |