From c06f7e290b01a89b0910770727043aeb54e8dbdc Mon Sep 17 00:00:00 2001 From: tjjfvi Date: Wed, 27 Mar 2024 09:10:08 -0400 Subject: [PATCH] delete old test code --- .../tests__pre_reduce_run@alloc_big_tree.hvmc.snap | 4 ++-- .../tests__pre_reduce_run@alloc_small_tree.hvmc.snap | 4 ++-- tests/snapshots/tests__pre_reduce_run@arithmetic.hvmc.snap | 4 ++-- tests/snapshots/tests__pre_reduce_run@chained_ops.hvmc.snap | 4 ++-- .../tests__pre_reduce_run@church_encoding__church.hvmc.snap | 4 ++-- tests/snapshots/tests__pre_reduce_run@church_exp.hvmc.snap | 4 ++-- tests/snapshots/tests__pre_reduce_run@church_mul.hvmc.snap | 4 ++-- tests/snapshots/tests__pre_reduce_run@dec_bits.hvmc.snap | 4 ++-- .../snapshots/tests__pre_reduce_run@dec_bits_tree.hvmc.snap | 4 ++-- .../tests__pre_reduce_run@heavy_pre_reduction.hvmc.snap | 4 ++-- .../tests__pre_reduce_run@lambda_calculus__hoas.hvmc.snap | 4 ++-- .../snapshots/tests__pre_reduce_run@list_put_got.hvmc.snap | 4 ++-- tests/snapshots/tests__pre_reduce_run@log.hvmc.snap | 4 ++-- .../tests__pre_reduce_run@machine_u32__num_add.hvmc.snap | 4 ++-- .../tests__pre_reduce_run@machine_u32__num_match.hvmc.snap | 4 ++-- tests/snapshots/tests__pre_reduce_run@neg_fusion.hvmc.snap | 4 ++-- tests/snapshots/tests__pre_reduce_run@queue.hvmc.snap | 4 ++-- ...pre_reduce_run@sort__bitonic__bitonic_sort_lam.hvmc.snap | 4 ++-- .../tests__pre_reduce_run@sort__merge__merge_sort.hvmc.snap | 4 ++-- ...ts__pre_reduce_run@sort__radix__radix_sort_ctr.hvmc.snap | 4 ++-- ...ts__pre_reduce_run@sort__radix__radix_sort_lam.hvmc.snap | 4 ++-- .../tests__pre_reduce_run@stress_tests__all_tree.hvmc.snap | 4 ++-- .../tests__pre_reduce_run@stress_tests__apelacion.hvmc.snap | 4 ++-- .../tests__pre_reduce_run@stress_tests__boom.hvmc.snap | 4 ++-- .../tests__pre_reduce_run@stress_tests__burn.hvmc.snap | 4 ++-- .../tests__pre_reduce_run@stress_tests__fib_rec.hvmc.snap | 4 ++-- .../tests__pre_reduce_run@stress_tests__sum_rec.hvmc.snap | 4 ++-- .../tests__pre_reduce_run@stress_tests__sum_tail.hvmc.snap | 4 ++-- .../tests__pre_reduce_run@stress_tests__sum_tree.hvmc.snap | 4 ++-- ...tests__pre_reduce_run@stress_tests__tuple_rots.hvmc.snap | 4 ++-- tests/snapshots/tests__pre_reduce_run@very_large.hvmc.snap | 4 ++-- tests/tests.rs | 6 +----- 32 files changed, 63 insertions(+), 67 deletions(-) diff --git a/tests/snapshots/tests__pre_reduce_run@alloc_big_tree.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@alloc_big_tree.hvmc.snap index 2aab7cc6..6c477d79 100644 --- a/tests/snapshots/tests__pre_reduce_run@alloc_big_tree.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@alloc_big_tree.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 29 - DREF : 29 - OPER : 0 run: -RWTS : 20_452 +RWTS : 53_230 - ANNI : 4_097 - COMM : 16_355 - ERAS : 0 -- DREF : 0 +- DREF : 32_778 - OPER : 0 diff --git a/tests/snapshots/tests__pre_reduce_run@alloc_small_tree.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@alloc_small_tree.hvmc.snap index d29beba0..9c39f328 100644 --- a/tests/snapshots/tests__pre_reduce_run@alloc_small_tree.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@alloc_small_tree.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 34 - DREF : 23 - OPER : 0 run: -RWTS : 63 +RWTS : 86 - ANNI : 33 - COMM : 13 - ERAS : 17 -- DREF : 0 +- DREF : 23 - OPER : 0 diff --git a/tests/snapshots/tests__pre_reduce_run@arithmetic.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@arithmetic.hvmc.snap index 27ddbdb9..4c5378d3 100644 --- a/tests/snapshots/tests__pre_reduce_run@arithmetic.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@arithmetic.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 5 - DREF : 5 - OPER : 0 run: -RWTS : 4 +RWTS : 18 - ANNI : 4 - COMM : 0 - ERAS : 0 -- DREF : 0 +- DREF : 14 - OPER : 0 diff --git a/tests/snapshots/tests__pre_reduce_run@chained_ops.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@chained_ops.hvmc.snap index d625de20..bf8bb83c 100644 --- a/tests/snapshots/tests__pre_reduce_run@chained_ops.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@chained_ops.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 0 - DREF : 0 - OPER : 0 run: -RWTS : 26 +RWTS : 28 - ANNI : 2 - COMM : 4 - ERAS : 0 -- DREF : 0 +- DREF : 2 - OPER : 20 diff --git a/tests/snapshots/tests__pre_reduce_run@church_encoding__church.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@church_encoding__church.hvmc.snap index 5301f38e..d400d857 100644 --- a/tests/snapshots/tests__pre_reduce_run@church_encoding__church.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@church_encoding__church.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 24 - DREF : 12 - OPER : 0 run: -RWTS : 14 +RWTS : 48 - ANNI : 13 - COMM : 1 - ERAS : 0 -- DREF : 0 +- DREF : 34 - OPER : 0 diff --git a/tests/snapshots/tests__pre_reduce_run@church_exp.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@church_exp.hvmc.snap index 633bf69e..0b23edf1 100644 --- a/tests/snapshots/tests__pre_reduce_run@church_exp.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@church_exp.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 54 - DREF : 54 - OPER : 0 run: -RWTS : 781 +RWTS : 1_948 - ANNI : 401 - COMM : 380 - ERAS : 0 -- DREF : 0 +- DREF : 1_167 - OPER : 0 diff --git a/tests/snapshots/tests__pre_reduce_run@church_mul.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@church_mul.hvmc.snap index 2ef39910..3136696a 100644 --- a/tests/snapshots/tests__pre_reduce_run@church_mul.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@church_mul.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 2 - DREF : 2 - OPER : 0 run: -RWTS : 44 +RWTS : 167 - ANNI : 25 - COMM : 19 - ERAS : 0 -- DREF : 0 +- DREF : 123 - OPER : 0 diff --git a/tests/snapshots/tests__pre_reduce_run@dec_bits.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@dec_bits.hvmc.snap index a67d4ed9..ad606e80 100644 --- a/tests/snapshots/tests__pre_reduce_run@dec_bits.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@dec_bits.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 99 - DREF : 59 - OPER : 0 run: -RWTS : 61_375 +RWTS : 71_625 - ANNI : 40_910 - COMM : 11 - ERAS : 20_454 -- DREF : 0 +- DREF : 10_250 - OPER : 0 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 index d216b96a..4bde1c05 100644 --- a/tests/snapshots/tests__pre_reduce_run@dec_bits_tree.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@dec_bits_tree.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 17_974 - DREF : 2_627 - OPER : 0 run: -RWTS : 806 +RWTS : 1_645 - ANNI : 383 - COMM : 296 - ERAS : 127 -- DREF : 0 +- DREF : 839 - OPER : 0 diff --git a/tests/snapshots/tests__pre_reduce_run@heavy_pre_reduction.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@heavy_pre_reduction.hvmc.snap index 3107a72f..ea06a11e 100644 --- a/tests/snapshots/tests__pre_reduce_run@heavy_pre_reduction.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@heavy_pre_reduction.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 53_147 - DREF : 54 - OPER : 0 run: -RWTS : 0 +RWTS : 2 - ANNI : 0 - COMM : 0 - ERAS : 0 -- DREF : 0 +- DREF : 2 - OPER : 0 diff --git a/tests/snapshots/tests__pre_reduce_run@lambda_calculus__hoas.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@lambda_calculus__hoas.hvmc.snap index 0f1490ac..fa249c6e 100644 --- a/tests/snapshots/tests__pre_reduce_run@lambda_calculus__hoas.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@lambda_calculus__hoas.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 225 - DREF : 116 - OPER : 0 run: -RWTS : 483 +RWTS : 598 - ANNI : 331 - COMM : 11 - ERAS : 141 -- DREF : 0 +- DREF : 115 - OPER : 0 diff --git a/tests/snapshots/tests__pre_reduce_run@list_put_got.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@list_put_got.hvmc.snap index be67d718..b264d35d 100644 --- a/tests/snapshots/tests__pre_reduce_run@list_put_got.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@list_put_got.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 613 - DREF : 592 - OPER : 0 run: -RWTS : 96 +RWTS : 4_188 - ANNI : 96 - COMM : 0 - ERAS : 0 -- DREF : 0 +- DREF : 4_092 - OPER : 0 diff --git a/tests/snapshots/tests__pre_reduce_run@log.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@log.hvmc.snap index b003882c..3af9ec61 100644 --- a/tests/snapshots/tests__pre_reduce_run@log.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@log.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 0 - DREF : 0 - OPER : 0 run: -RWTS : 3 +RWTS : 8 - ANNI : 2 - COMM : 0 - ERAS : 1 -- DREF : 0 +- DREF : 5 - OPER : 0 diff --git a/tests/snapshots/tests__pre_reduce_run@machine_u32__num_add.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@machine_u32__num_add.hvmc.snap index d0911476..5da59429 100644 --- a/tests/snapshots/tests__pre_reduce_run@machine_u32__num_add.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@machine_u32__num_add.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 1 - DREF : 1 - OPER : 0 run: -RWTS : 3 +RWTS : 6 - ANNI : 2 - COMM : 0 - ERAS : 0 -- DREF : 0 +- DREF : 3 - OPER : 1 diff --git a/tests/snapshots/tests__pre_reduce_run@machine_u32__num_match.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@machine_u32__num_match.hvmc.snap index 0d275dac..383ecaa9 100644 --- a/tests/snapshots/tests__pre_reduce_run@machine_u32__num_match.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@machine_u32__num_match.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 2 - DREF : 1 - OPER : 0 run: -RWTS : 5 +RWTS : 8 - ANNI : 3 - COMM : 0 - ERAS : 1 -- DREF : 0 +- DREF : 3 - OPER : 1 diff --git a/tests/snapshots/tests__pre_reduce_run@neg_fusion.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@neg_fusion.hvmc.snap index 9fda0b78..e2ff4e88 100644 --- a/tests/snapshots/tests__pre_reduce_run@neg_fusion.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@neg_fusion.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 83 - DREF : 34 - OPER : 0 run: -RWTS : 72 +RWTS : 81 - ANNI : 43 - COMM : 29 - ERAS : 0 -- DREF : 0 +- DREF : 9 - OPER : 0 diff --git a/tests/snapshots/tests__pre_reduce_run@queue.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@queue.hvmc.snap index d73b4a0a..f554acd4 100644 --- a/tests/snapshots/tests__pre_reduce_run@queue.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@queue.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 8 - DREF : 8 - OPER : 0 run: -RWTS : 44 +RWTS : 102 - ANNI : 39 - COMM : 1 - ERAS : 4 -- DREF : 0 +- DREF : 58 - OPER : 0 diff --git a/tests/snapshots/tests__pre_reduce_run@sort__bitonic__bitonic_sort_lam.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@sort__bitonic__bitonic_sort_lam.hvmc.snap index 48670061..b1702682 100644 --- a/tests/snapshots/tests__pre_reduce_run@sort__bitonic__bitonic_sort_lam.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@sort__bitonic__bitonic_sort_lam.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 130 - DREF : 78 - OPER : 0 run: -RWTS : 1_353_696 +RWTS : 1_563_105 - ANNI : 944_620 - COMM : 96_766 - ERAS : 221_691 -- DREF : 0 +- DREF : 209_409 - OPER : 90_619 diff --git a/tests/snapshots/tests__pre_reduce_run@sort__merge__merge_sort.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@sort__merge__merge_sort.hvmc.snap index 58ba88ea..1f7fd145 100644 --- a/tests/snapshots/tests__pre_reduce_run@sort__merge__merge_sort.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@sort__merge__merge_sort.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 53 - DREF : 32 - OPER : 0 run: -RWTS : 385 +RWTS : 438 - ANNI : 48 - COMM : 242 - ERAS : 79 -- DREF : 0 +- DREF : 53 - OPER : 16 diff --git a/tests/snapshots/tests__pre_reduce_run@sort__radix__radix_sort_ctr.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@sort__radix__radix_sort_ctr.hvmc.snap index e8ebd77e..2d116855 100644 --- a/tests/snapshots/tests__pre_reduce_run@sort__radix__radix_sort_ctr.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@sort__radix__radix_sort_ctr.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 150 - DREF : 87 - OPER : 0 run: -RWTS : 865_075_208 +RWTS : 988_282_897 - ANNI : 549_453_814 - COMM : 53_477_380 - ERAS : 203_423_749 -- DREF : 0 +- DREF : 123_207_689 - OPER : 58_720_265 diff --git a/tests/snapshots/tests__pre_reduce_run@sort__radix__radix_sort_lam.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@sort__radix__radix_sort_lam.hvmc.snap index 890cbb75..3b87ab0d 100644 --- a/tests/snapshots/tests__pre_reduce_run@sort__radix__radix_sort_lam.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@sort__radix__radix_sort_lam.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 153 - DREF : 90 - OPER : 0 run: -RWTS : 962_592_766 +RWTS : 1_134_559_233 - ANNI : 622_854_123 - COMM : 28_311_560 - ERAS : 251_658_239 -- DREF : 0 +- DREF : 171_966_467 - OPER : 59_768_844 diff --git a/tests/snapshots/tests__pre_reduce_run@stress_tests__all_tree.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@stress_tests__all_tree.hvmc.snap index de7a482e..1d606a17 100644 --- a/tests/snapshots/tests__pre_reduce_run@stress_tests__all_tree.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@stress_tests__all_tree.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 32 - DREF : 19 - OPER : 0 run: -RWTS : 452_984_814 +RWTS : 503_316_468 - ANNI : 218_103_801 - COMM : 83_886_075 - ERAS : 117_440_507 -- DREF : 0 +- DREF : 50_331_654 - OPER : 33_554_431 diff --git a/tests/snapshots/tests__pre_reduce_run@stress_tests__apelacion.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@stress_tests__apelacion.hvmc.snap index 73ffe3d5..b97f0112 100644 --- a/tests/snapshots/tests__pre_reduce_run@stress_tests__apelacion.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@stress_tests__apelacion.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 33_000_035 - DREF : 5_000_010 - OPER : 6_000_003 run: -RWTS : 571 +RWTS : 637 - ANNI : 191 - COMM : 63 - ERAS : 127 -- DREF : 0 +- DREF : 66 - OPER : 190 diff --git a/tests/snapshots/tests__pre_reduce_run@stress_tests__boom.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@stress_tests__boom.hvmc.snap index ffe02a9c..f5469676 100644 --- a/tests/snapshots/tests__pre_reduce_run@stress_tests__boom.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@stress_tests__boom.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 24 - DREF : 24 - OPER : 0 run: -RWTS : 117_440_667 +RWTS : 134_217_907 - ANNI : 33_554_556 - COMM : 67_108_895 - ERAS : 16_777_216 -- DREF : 0 +- DREF : 16_777_240 - OPER : 0 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 index 945c600e..bf330c56 100644 --- a/tests/snapshots/tests__pre_reduce_run@stress_tests__burn.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@stress_tests__burn.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 18_350_068 - DREF : 2_621_491 - OPER : 0 run: -RWTS : 87 +RWTS : 211 - ANNI : 47 - COMM : 25 - ERAS : 15 -- DREF : 0 +- DREF : 124 - OPER : 0 diff --git a/tests/snapshots/tests__pre_reduce_run@stress_tests__fib_rec.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@stress_tests__fib_rec.hvmc.snap index b4b3d1cb..d847e53c 100644 --- a/tests/snapshots/tests__pre_reduce_run@stress_tests__fib_rec.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@stress_tests__fib_rec.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 13 - DREF : 7 - OPER : 0 run: -RWTS : 24_672_036 +RWTS : 29_028_655 - ANNI : 10_573_730 - COMM : 2_178_308 - ERAS : 5_702_885 -- DREF : 0 +- DREF : 4_356_619 - OPER : 6_217_113 diff --git a/tests/snapshots/tests__pre_reduce_run@stress_tests__sum_rec.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@stress_tests__sum_rec.hvmc.snap index 84e7d0b3..7d99dc39 100644 --- a/tests/snapshots/tests__pre_reduce_run@stress_tests__sum_rec.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@stress_tests__sum_rec.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 13 - DREF : 6 - OPER : 0 run: -RWTS : 603_979_771 +RWTS : 671_088_637 - ANNI : 201_326_591 - COMM : 67_108_863 - ERAS : 134_217_727 -- DREF : 0 +- DREF : 67_108_866 - OPER : 201_326_590 diff --git a/tests/snapshots/tests__pre_reduce_run@stress_tests__sum_tail.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@stress_tests__sum_tail.hvmc.snap index 95187bf1..d1e80bfd 100644 --- a/tests/snapshots/tests__pre_reduce_run@stress_tests__sum_tail.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@stress_tests__sum_tail.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 6 - DREF : 3 - OPER : 0 run: -RWTS : 80_000_005 +RWTS : 90_000_008 - ANNI : 30_000_003 - COMM : 20_000_000 - ERAS : 10_000_001 -- DREF : 0 +- DREF : 10_000_003 - OPER : 20_000_001 diff --git a/tests/snapshots/tests__pre_reduce_run@stress_tests__sum_tree.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@stress_tests__sum_tree.hvmc.snap index ca432785..2992cb14 100644 --- a/tests/snapshots/tests__pre_reduce_run@stress_tests__sum_tree.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@stress_tests__sum_tree.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 30 - DREF : 16 - OPER : 0 run: -RWTS : 402_653_169 +RWTS : 436_207_603 - ANNI : 167_772_156 - COMM : 83_886_075 - ERAS : 100_663_292 -- DREF : 0 +- DREF : 33_554_434 - OPER : 50_331_646 diff --git a/tests/snapshots/tests__pre_reduce_run@stress_tests__tuple_rots.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@stress_tests__tuple_rots.hvmc.snap index 4281e612..11f7f858 100644 --- a/tests/snapshots/tests__pre_reduce_run@stress_tests__tuple_rots.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@stress_tests__tuple_rots.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 19 - DREF : 8 - OPER : 0 run: -RWTS : 34_000_015 +RWTS : 40_000_037 - ANNI : 28_000_012 - COMM : 2_000_000 - ERAS : 2_000_002 -- DREF : 0 +- DREF : 6_000_022 - OPER : 2_000_001 diff --git a/tests/snapshots/tests__pre_reduce_run@very_large.hvmc.snap b/tests/snapshots/tests__pre_reduce_run@very_large.hvmc.snap index 7a3f8c0d..8bdc1ccc 100644 --- a/tests/snapshots/tests__pre_reduce_run@very_large.hvmc.snap +++ b/tests/snapshots/tests__pre_reduce_run@very_large.hvmc.snap @@ -12,9 +12,9 @@ RWTS : 0 - DREF : 0 - OPER : 0 run: -RWTS : 0 +RWTS : 32_002 - ANNI : 0 - COMM : 0 - ERAS : 0 -- DREF : 0 +- DREF : 32_002 - OPER : 0 diff --git a/tests/tests.rs b/tests/tests.rs index eee8a7de..df166419 100644 --- a/tests/tests.rs +++ b/tests/tests.rs @@ -99,14 +99,10 @@ fn test_pre_reduce_run(path: &str, mut book: Book) { io::stdout().flush().unwrap(); let host = hvmc::stdlib::create_host(&book); - let Some((mut rwts, net)) = execute_host(host) else { + let Some((rwts, net)) = execute_host(host) else { assert_snapshot!(show_rewrites(&pre_stats.rewrites)); return; }; - // Don't take into account deref rewrites - // because expand() is terrible. - // Remove when #73 is merged. - rwts.dref = 0; let output = format!("{}\npre-reduce:\n{}run:\n{}", net, show_rewrites(&pre_stats.rewrites), show_rewrites(&rwts)); assert_snapshot!(output);