Commit 36a5a2bc authored by dbarbera's avatar dbarbera
Browse files

Fixed error in generated run_transition function

parent e5ec7231
......@@ -153,9 +153,9 @@ def _generate_runtr_func(process):
# cond
id_ptr = func.args[0]
no_tr_cons =, -1)
cond_val = g.builder.icmp(core.ICMP_NE, id_ptr, no_tr_cons, 'cond')
id_val = g.builder.load(id_ptr)
cond_val = g.builder.icmp(core.ICMP_NE, id_val, no_tr_cons, 'cond')
g.builder.cbranch(cond_val, body_block, exit_block)
# body
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment