diff --git a/flap/questions/retrolixToX86_64/02.retrolix b/flap/questions/retrolixToX86_64/02.retrolix index d310d71..2d8f88a 100644 --- a/flap/questions/retrolixToX86_64/02.retrolix +++ b/flap/questions/retrolixToX86_64/02.retrolix @@ -4,5 +4,9 @@ globals (x, y, z, k) z <- mul y, x; k <- sub z, x; + debug: + %rdi <- copy k; + observe_int(); + exit; end diff --git a/flap/questions/retrolixToX86_64/03.retrolix b/flap/questions/retrolixToX86_64/03.retrolix index 8c45d15..8f9be40 100644 --- a/flap/questions/retrolixToX86_64/03.retrolix +++ b/flap/questions/retrolixToX86_64/03.retrolix @@ -5,5 +5,8 @@ globals (res) res <- mul res, 2; res <- mul res, 1; + debug: + %rdi <- copy res; + observe_int(); exit; end