Start: eval_foo_start
Program_Vars:
Temp_Vars:
Locations: eval_foo_bb0_in, eval_foo_bb1_in, eval_foo_start
Transitions:
1:eval_foo_bb0_in -> eval_foo_bb1_in
2:eval_foo_bb1_in -> eval_foo_bb1_in
0:eval_foo_start -> eval_foo_bb0_in
Start: eval_foo_start
Program_Vars:
Temp_Vars:
Locations: eval_foo_bb0_in, eval_foo_bb1_in, eval_foo_start
Transitions:
1:eval_foo_bb0_in -> eval_foo_bb1_in
2:eval_foo_bb1_in -> eval_foo_bb1_in
0:eval_foo_start -> eval_foo_bb0_in
Overall timebound:inf {Infinity}
1: eval_foo_bb0_in->eval_foo_bb1_in: 1 {O(1)}
2: eval_foo_bb1_in->eval_foo_bb1_in: inf {Infinity}
0: eval_foo_start->eval_foo_bb0_in: 1 {O(1)}
Overall costbound: inf {Infinity}
1: eval_foo_bb0_in->eval_foo_bb1_in: 1 {O(1)}
2: eval_foo_bb1_in->eval_foo_bb1_in: inf {Infinity}
0: eval_foo_start->eval_foo_bb0_in: 1 {O(1)}