swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
Tip revision: cda4560576f3b975008fe892fe4fcaaaa71019fe authored by Anish Tondwalkar on 16 March 2020, 20:43:43 UTC
fix tests
fix tests
Tip revision: cda4560
incr00.hors
%BEGING
Main_10 -> Incr F_3_698 F_3_699 .
Bottom0 -> Bottom0 .
F_3_698 x_39_690 k_test1_40_691 -> k_test1_40_691 True .
F_3_699 x_42_686 -> F_700 x_42_686 .
F_3_701 x_53_688 k_test2_54_689 -> br (k_test2_54_689 True ) (k_test2_54_689 False ) .
F_3_702 x_58_687 -> br (F_703 True ) (F_703 False ) .
F_3_704 k_incr x_64_692 -> k_incr x_64_692 .
F_700 b_693 -> b_693 (l0 (Incr F_3_701 F_3_702 ) ) (l1 (Fail_31 unit ) ) .
F_703 b_696 -> b_696 (l0 unit ) (l1 (Fail_34 unit ) ) .
Fail_31 k_33 -> event_fail k_33 .
Fail_34 k_36 -> event_fail k_36 .
Incr f k_incr -> f True (F_3_704 k_incr ) .
True x y -> x .
False x y -> y .
%ENDG
%BEGINA
q0 br -> q0 q0 .
q0 l0 -> q0 .
q0 l1 -> q0 .
q0 unit -> .
%ENDA