Update snapshots

HigherOrderCO · Mar 5, 2024 · d73b2ae · d73b2ae
1 parent 81a150a
commit d73b2ae
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/tests/snapshots/tests__pre_reduce_run@dec_bits_tree.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@dec_bits_tree.hvmc.snap
@@ -3,7 +3,7 @@ source: tests/tests.rs
 expression: output
 input_file: tests/programs/dec_bits_tree.hvmc
 ---
-((((((@brnZ @brnZ) (@brnZ @brnZ)) ((@brnZ @brnZ) (@brnZ @brnZ))) (((@brnZ @brnZ) (@brnZ @brnZ)) ((@brnZ @brnZ) (@brnZ @brnZ)))) ((((@E @E) (@E @E)) ((@E @E) (@E @E))) (((@E @E) (@E @E)) ((@E @E) (@E @E))))) (((((@E @E) (@E @E)) ((@E @E) (@E @E))) (((@E @E) (@E @E)) ((@E @E) (@E @E)))) ((((@E @E) (@E @E)) ((@E @E) (@E @E))) (((@E @E) (@E @E)) ((@E @E) (@E @E))))))
+((((((@brnZ @brnZ) (@brnZ @brnZ)) ((@brnZ @brnZ) (@brnZ @brnZ))) (((@brnZ @brnZ) (@brnZ @brnZ)) ((@brnZ @brnZ) (@brnZ @brnZ)))) ((((@brnZ @brnZ) (@brnZ @brnZ)) ((@brnZ @brnZ) (@brnZ @brnZ))) (((@brnZ @brnZ) (@brnZ @brnZ)) ((@brnZ @brnZ) (@brnZ @brnZ))))) (((((@brnZ @brnZ) (@brnZ @brnZ)) ((@brnZ @brnZ) (@brnZ @brnZ))) (((@brnZ @brnZ) (@brnZ @brnZ)) ((@brnZ @brnZ) (@brnZ @brnZ)))) ((((@brnZ @brnZ) (@brnZ @brnZ)) ((@brnZ @brnZ) (@brnZ @brnZ))) (((@brnZ @brnZ) (@brnZ @brnZ)) ((@brnZ @brnZ) (@brnZ @brnZ))))))
 pre-reduce:
 RWTS   :          18_916
 - ANNI :          10_615

diff --git a/tests/snapshots/tests__pre_reduce_run@stress_tests__burn.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@stress_tests__burn.hvmc.snap
@@ -3,7 +3,7 @@ source: tests/tests.rs
 expression: output
 input_file: tests/programs/stress_tests/burn.hvmc
 ---
-(((@brnZ @brnZ) (@brnZ @brnZ)) ((@brnZ @brnZ) (@brnZ @brnZ)))
+(((@brnZ @brnZ) ((* @E) (* @E))) (((* @E) (* @E)) ((* @E) (* @E))))
 pre-reduce:
 RWTS   :      18_350_176
 - ANNI :      10_485_759