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
d2.hors
%BEGING
Main_7 -> App F_1_50 unit .
Bottom0 -> Bottom0 .
App f k_app -> br (F_52 f k_app True ) (F_52 f k_app False ) .
F_1_50 k_check_21_45 -> br (F_51 k_check_21_45 True ) (F_51 k_check_21_45 False ) .
F_51 k_check_21_45 b_46 -> b_46 (l0 k_check_21_45 ) (l1 (Fail_15 unit ) ) .
F_52 f k_app b_48 -> b_48 (l0 (App f k_app ) ) (l1 (f k_app ) ) .
Fail_15 k_17 -> event_fail k_17 .
True x y -> x .
False x y -> y .
%ENDG
%BEGINA
q0 br -> q0 q0 .
q0 l0 -> q0 .
q0 l1 -> q0 .
q0 unit -> .
%ENDA