diff options
Diffstat (limited to 'abstract/transform.ml')
| -rw-r--r-- | abstract/transform.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/abstract/transform.ml b/abstract/transform.ml index 5fe4ed1..20512aa 100644 --- a/abstract/transform.ml +++ b/abstract/transform.ml @@ -545,7 +545,12 @@ let rec g_of_scope td (node, prefix, eqs) clock_scope cond = | AST_assign(_, e) | AST_assume(_, e) -> expr_g e | AST_guarantee((id, _), e) -> - (id, f_and cond (f_of_expr td (node, prefix, clock_scope) (AST_not(e), snd e))) + let gn = node^"/g_"^id in + (id, + f_and + cond + (f_of_expr td (node, prefix, clock_scope) (AST_not(e), snd e)), + gn) :: (expr_g e) | AST_activate (b, _) -> let rec cond_g cond = function |