From fb828cedd533c376ecfa8b121ecaff376935a92e Mon Sep 17 00:00:00 2001 From: tjjfvi Date: Thu, 29 Feb 2024 10:06:52 -0500 Subject: [PATCH] fix burn --- tests/programs/stress_tests/burn.hvmc | 3 ++- .../tests__run@stress_tests__burn.hvmc.snap | 12 ++++++------ 2 files changed, 8 insertions(+), 7 deletions(-) diff --git a/tests/programs/stress_tests/burn.hvmc b/tests/programs/stress_tests/burn.hvmc index bc5542c4..8e46ab11 100644 --- a/tests/programs/stress_tests/burn.hvmc +++ b/tests/programs/stress_tests/burn.hvmc @@ -38,4 +38,5 @@ @main = R - & @brn ~ (@c3 R) + & @c3 ~ (@S (@Z dep)) + & @brn ~ (dep R) diff --git a/tests/snapshots/tests__run@stress_tests__burn.hvmc.snap b/tests/snapshots/tests__run@stress_tests__burn.hvmc.snap index c9515621..adcf1827 100644 --- a/tests/snapshots/tests__run@stress_tests__burn.hvmc.snap +++ b/tests/snapshots/tests__run@stress_tests__burn.hvmc.snap @@ -3,10 +3,10 @@ source: tests/tests.rs expression: output input_file: tests/programs/stress_tests/burn.hvmc --- -(a b) -RWTS : 92_274_181 -- ANNI : 50_331_316 -- COMM : 66 -- ERAS : 16_777_138 -- DREF : 25_165_661 +((((* (* (* (a a)))) (* (* (* (b b))))) ((* (* (* (c c)))) (* (* (* (d d)))))) (((* (* (* (e e)))) (* (* (* (f f))))) ((* (* (* (g g)))) (* (* (* (h h))))))) +RWTS : 369_096_552 +- ANNI : 201_325_229 +- COMM : 177 +- ERAS : 67_108_511 +- DREF : 100_662_635 - OPER : 0