summaryrefslogtreecommitdiff
path: root/Test/houdini/mergedProgSingle_res_ex2.bpl.expect
blob: f551fc9084e903e2a4363e8aa8241226bcb08959 (plain)
1
2
3
4
5
6
7
8
Assignment computed by Houdini:
_houdini_Eval_control_flag_0 = False
_houdini_Eval_result_1 = False
_houdini_Eval_loop_anon3_LoopHead_control_flag_2 = False
_houdini_Eval_loop_anon3_LoopHead_out_result_3 = False
_houdini_Eval_loop_anon3_LoopHead_out_x_4 = False

Boogie program verifier finished with 6 verified, 0 errors