Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- - : cfg =
- ([("0", BAssignVar ("i", N 1)); ("1", BAssignVar ("f", N 1));
- ("3", BAssignVar ("f", Mul (Val "f", Val "i")));
- ("4", BAssignVar ("i", Add (Val "i", N 1)));
- ("2", BGuard (Or (Lt (Val "i", Val "n"), Eq (Val "i", Val "n"))))],
- [("0", "1"); ("1", "2"); ("2", "3"); ("3", "4"); ("4", "2")])
Add Comment
Please, Sign In to add comment