From 751af02f491748fa0b09669e2c4ffc81c3be4286 Mon Sep 17 00:00:00 2001 From: Nicolas Abril Date: Fri, 23 Feb 2024 14:00:31 +0100 Subject: [PATCH] Add broken black box pre-reduce test --- tests/golden_tests/compile_file_o_all/black_box.hvm | 4 ++-- tests/golden_tests/compile_file_o_all/black_box_ref.hvm | 2 ++ tests/snapshots/compile_file_o_all__black_box_ref.hvm.snap | 6 ++++++ 3 files changed, 10 insertions(+), 2 deletions(-) create mode 100644 tests/golden_tests/compile_file_o_all/black_box_ref.hvm create mode 100644 tests/snapshots/compile_file_o_all__black_box_ref.hvm.snap diff --git a/tests/golden_tests/compile_file_o_all/black_box.hvm b/tests/golden_tests/compile_file_o_all/black_box.hvm index 6c37cbcaf..d0080c937 100644 --- a/tests/golden_tests/compile_file_o_all/black_box.hvm +++ b/tests/golden_tests/compile_file_o_all/black_box.hvm @@ -1,2 +1,2 @@ -def_that_uses_black_box = (* (HVM.black_box 6) 7) -main = def_that_uses_black_box \ No newline at end of file +def_that_uses_black_box = @a (* (HVM.black_box a) 7) +main = (def_that_uses_black_box 6) \ No newline at end of file diff --git a/tests/golden_tests/compile_file_o_all/black_box_ref.hvm b/tests/golden_tests/compile_file_o_all/black_box_ref.hvm new file mode 100644 index 000000000..6c37cbcaf --- /dev/null +++ b/tests/golden_tests/compile_file_o_all/black_box_ref.hvm @@ -0,0 +1,2 @@ +def_that_uses_black_box = (* (HVM.black_box 6) 7) +main = def_that_uses_black_box \ No newline at end of file diff --git a/tests/snapshots/compile_file_o_all__black_box_ref.hvm.snap b/tests/snapshots/compile_file_o_all__black_box_ref.hvm.snap new file mode 100644 index 000000000..4bc1d66d9 --- /dev/null +++ b/tests/snapshots/compile_file_o_all__black_box_ref.hvm.snap @@ -0,0 +1,6 @@ +--- +source: tests/golden_tests.rs +input_file: tests/golden_tests/compile_file_o_all/black_box_ref.hvm +--- +@main = a +& @HVM.black_box ~ (#6 <* #7 a>)