From 2b3f20d89c7d500842869d3316bee9c7457ba6d4 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Sat, 22 Jul 2017 21:05:57 +0200 Subject: Adds the "is_terminal" predicate. --- data/level/control_flow_level.lvl | 1 + 1 file changed, 1 insertion(+) (limited to 'data/level/control_flow_level.lvl') diff --git a/data/level/control_flow_level.lvl b/data/level/control_flow_level.lvl index 516f9ef..4ae7837 100644 --- a/data/level/control_flow_level.lvl +++ b/data/level/control_flow_level.lvl @@ -22,3 +22,4 @@ (add_predicate node_connect node node) (add_predicate expr_writes node waveform) (add_predicate expr_reads node waveform) +(add_predicate is_terminal node) -- cgit v1.2.3-70-g09d2