use dyntest for tests/tests.rs (#136)

HigherOrderCO · May 28, 2024 · 301512e · 301512e
1 parent c18425e
commit 301512e
Show file tree

Hide file tree

Showing 76 changed files with 37 additions and 261 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -44,7 +44,7 @@ hvm64-host = { path = "./host" }
 
 [dev-dependencies]
 insta = { version = "1.34.0", features = ["glob"] }
-serial_test = "3.0.0"
+dyntest = "0.1.2"
 
 [features]
 default = ["std"]
@@ -53,3 +53,7 @@ trace = ["hvm64-runtime/trace"]
 
 [patch.crates-io]
 highlight_error = { git = "https://github.com/tjjfvi/rust_highlight_error/", branch = "no_std" }
+
+[[test]]
+name = "tests"
+harness = false
diff --git a/cspell.json b/cspell.json
@@ -16,6 +16,7 @@
     "dups",
     "dylib",
     "dylibs",
+    "dyntest",
     "effectful",
     "fmts",
     "fuzzer",

diff --git a/...tests__pre_reduce_run@arithmetic.hvm.snap → .../pre_reduce_run@examples::arithmetic.snap b/...tests__pre_reduce_run@arithmetic.hvm.snap → .../pre_reduce_run@examples::arithmetic.snap
diff --git a/...duce_run@church_encoding__church.hvm.snap → ...un@examples::church_encoding::church.snap b/...duce_run@church_encoding__church.hvm.snap → ...un@examples::church_encoding::church.snap
diff --git a/...reduce_run@lambda_calculus__hoas.hvm.snap → ..._run@examples::lambda_calculus::hoas.snap b/...reduce_run@lambda_calculus__hoas.hvm.snap → ..._run@examples::lambda_calculus::hoas.snap
diff --git a/..._reduce_run@machine_u32__num_add.hvm.snap → ...e_run@examples::machine_u32::num_add.snap b/..._reduce_run@machine_u32__num_add.hvm.snap → ...e_run@examples::machine_u32::num_add.snap
diff --git a/...educe_run@machine_u32__num_match.hvm.snap → ...run@examples::machine_u32::num_match.snap b/...educe_run@machine_u32__num_match.hvm.snap → ...run@examples::machine_u32::num_match.snap
diff --git a/...@sort__bitonic__bitonic_sort_lam.hvm.snap → ...les::sort::bitonic::bitonic_sort_lam.snap b/...@sort__bitonic__bitonic_sort_lam.hvm.snap → ...les::sort::bitonic::bitonic_sort_lam.snap
diff --git a/...duce_run@sort__merge__merge_sort.hvm.snap → ...un@examples::sort::merge::merge_sort.snap b/...duce_run@sort__merge__merge_sort.hvm.snap → ...un@examples::sort::merge::merge_sort.snap
diff --git a/..._run@sort__radix__radix_sort_ctr.hvm.snap → ...xamples::sort::radix::radix_sort_ctr.snap b/..._run@sort__radix__radix_sort_ctr.hvm.snap → ...xamples::sort::radix::radix_sort_ctr.snap
diff --git a/..._run@sort__radix__radix_sort_lam.hvm.snap → ...xamples::sort::radix::radix_sort_lam.snap b/..._run@sort__radix__radix_sort_lam.hvm.snap → ...xamples::sort::radix::radix_sort_lam.snap
diff --git a/...s__pre_reduce_run@alloc_big_tree.hvm.snap → ..._run@tests::programs::alloc_big_tree.snap b/...s__pre_reduce_run@alloc_big_tree.hvm.snap → ..._run@tests::programs::alloc_big_tree.snap
diff --git a/..._pre_reduce_run@alloc_small_tree.hvm.snap → ...un@tests::programs::alloc_small_tree.snap b/..._pre_reduce_run@alloc_small_tree.hvm.snap → ...un@tests::programs::alloc_small_tree.snap
diff --git a/...s/tests__pre_reduce_run@bool_and.hvm.snap → ...reduce_run@tests::programs::bool_and.snap b/...s/tests__pre_reduce_run@bool_and.hvm.snap → ...reduce_run@tests::programs::bool_and.snap
diff --git a/...ests__pre_reduce_run@chained_ops.hvm.snap → ...uce_run@tests::programs::chained_ops.snap b/...ests__pre_reduce_run@chained_ops.hvm.snap → ...uce_run@tests::programs::chained_ops.snap
diff --git a/...tests__pre_reduce_run@church_exp.hvm.snap → ...duce_run@tests::programs::church_exp.snap b/...tests__pre_reduce_run@church_exp.hvm.snap → ...duce_run@tests::programs::church_exp.snap
diff --git a/...tests__pre_reduce_run@church_mul.hvm.snap → ...duce_run@tests::programs::church_mul.snap b/...tests__pre_reduce_run@church_mul.hvm.snap → ...duce_run@tests::programs::church_mul.snap
diff --git a/...ests__pre_reduce_run@commutation.hvm.snap → ...uce_run@tests::programs::commutation.snap b/...ests__pre_reduce_run@commutation.hvm.snap → ...uce_run@tests::programs::commutation.snap
diff --git a/...s/tests__pre_reduce_run@dec_bits.hvm.snap → ...reduce_run@tests::programs::dec_bits.snap b/...s/tests__pre_reduce_run@dec_bits.hvm.snap → ...reduce_run@tests::programs::dec_bits.snap
diff --git a/...ts__pre_reduce_run@dec_bits_tree.hvm.snap → ...e_run@tests::programs::dec_bits_tree.snap b/...ts__pre_reduce_run@dec_bits_tree.hvm.snap → ...e_run@tests::programs::dec_bits_tree.snap
diff --git a/...ts/tests__pre_reduce_run@era_era.hvm.snap → ..._reduce_run@tests::programs::era_era.snap b/...ts/tests__pre_reduce_run@era_era.hvm.snap → ..._reduce_run@tests::programs::era_era.snap
diff --git a/...pshots/tests__pre_reduce_run@f32.hvm.snap → .../pre_reduce_run@tests::programs::f32.snap b/...pshots/tests__pre_reduce_run@f32.hvm.snap → .../pre_reduce_run@tests::programs::f32.snap
diff --git a/...e_reduce_run@heavy_pre_reduction.hvm.snap → ...tests::programs::heavy_pre_reduction.snap b/...e_reduce_run@heavy_pre_reduction.hvm.snap → ...tests::programs::heavy_pre_reduction.snap
diff --git a/...sts__pre_reduce_run@list_put_got.hvm.snap → ...ce_run@tests::programs::list_put_got.snap b/...sts__pre_reduce_run@list_put_got.hvm.snap → ...ce_run@tests::programs::list_put_got.snap
diff --git a/...tests__pre_reduce_run@neg_fusion.hvm.snap → ...duce_run@tests::programs::neg_fusion.snap b/...tests__pre_reduce_run@neg_fusion.hvm.snap → ...duce_run@tests::programs::neg_fusion.snap
diff --git a/...shots/tests__pre_reduce_run@nums.hvm.snap → ...pre_reduce_run@tests::programs::nums.snap b/...shots/tests__pre_reduce_run@nums.hvm.snap → ...pre_reduce_run@tests::programs::nums.snap
diff --git a/...pshots/tests__pre_reduce_run@ops.hvm.snap → .../pre_reduce_run@tests::programs::ops.snap b/...pshots/tests__pre_reduce_run@ops.hvm.snap → .../pre_reduce_run@tests::programs::ops.snap
diff --git a/...hots/tests__pre_reduce_run@queue.hvm.snap → ...re_reduce_run@tests::programs::queue.snap b/...hots/tests__pre_reduce_run@queue.hvm.snap → ...re_reduce_run@tests::programs::queue.snap
diff --git a/...educe_run@stress_tests__all_tree.hvm.snap → ...ts::programs::stress_tests::all_tree.snap b/...educe_run@stress_tests__all_tree.hvm.snap → ...ts::programs::stress_tests::all_tree.snap
diff --git a/...duce_run@stress_tests__apelacion.hvm.snap → ...s::programs::stress_tests::apelacion.snap b/...duce_run@stress_tests__apelacion.hvm.snap → ...s::programs::stress_tests::apelacion.snap
diff --git a/...re_reduce_run@stress_tests__boom.hvm.snap → ...@tests::programs::stress_tests::boom.snap b/...re_reduce_run@stress_tests__boom.hvm.snap → ...@tests::programs::stress_tests::boom.snap
diff --git a/...re_reduce_run@stress_tests__burn.hvm.snap → ...@tests::programs::stress_tests::burn.snap b/...re_reduce_run@stress_tests__burn.hvm.snap → ...@tests::programs::stress_tests::burn.snap
diff --git a/...reduce_run@stress_tests__fib_rec.hvm.snap → ...sts::programs::stress_tests::fib_rec.snap b/...reduce_run@stress_tests__fib_rec.hvm.snap → ...sts::programs::stress_tests::fib_rec.snap
diff --git a/...reduce_run@stress_tests__sum_rec.hvm.snap → ...sts::programs::stress_tests::sum_rec.snap b/...reduce_run@stress_tests__sum_rec.hvm.snap → ...sts::programs::stress_tests::sum_rec.snap
diff --git a/...educe_run@stress_tests__sum_tail.hvm.snap → ...ts::programs::stress_tests::sum_tail.snap b/...educe_run@stress_tests__sum_tail.hvm.snap → ...ts::programs::stress_tests::sum_tail.snap
diff --git a/...educe_run@stress_tests__sum_tree.hvm.snap → ...ts::programs::stress_tests::sum_tree.snap b/...educe_run@stress_tests__sum_tree.hvm.snap → ...ts::programs::stress_tests::sum_tree.snap
diff --git a/...uce_run@stress_tests__tuple_rots.hvm.snap → ...::programs::stress_tests::tuple_rots.snap b/...uce_run@stress_tests__tuple_rots.hvm.snap → ...::programs::stress_tests::tuple_rots.snap
diff --git a/...tests__pre_reduce_run@very_large.hvm.snap → ...duce_run@tests::programs::very_large.snap b/...tests__pre_reduce_run@very_large.hvm.snap → ...duce_run@tests::programs::very_large.snap
diff --git a/.../snapshots/tests__run@arithmetic.hvm.snap → ...s/snapshots/run@examples::arithmetic.snap b/.../snapshots/tests__run@arithmetic.hvm.snap → ...s/snapshots/run@examples::arithmetic.snap
diff --git a/...sts__run@church_encoding__church.hvm.snap → ...un@examples::church_encoding::church.snap b/...sts__run@church_encoding__church.hvm.snap → ...un@examples::church_encoding::church.snap
diff --git a/...tests__run@lambda_calculus__hoas.hvm.snap → .../run@examples::lambda_calculus::hoas.snap b/...tests__run@lambda_calculus__hoas.hvm.snap → .../run@examples::lambda_calculus::hoas.snap
diff --git a/.../tests__run@machine_u32__num_add.hvm.snap → ...s/run@examples::machine_u32::num_add.snap b/.../tests__run@machine_u32__num_add.hvm.snap → ...s/run@examples::machine_u32::num_add.snap
diff --git a/...ests__run@machine_u32__num_match.hvm.snap → ...run@examples::machine_u32::num_match.snap b/...ests__run@machine_u32__num_match.hvm.snap → ...run@examples::machine_u32::num_match.snap
diff --git a/...@sort__bitonic__bitonic_sort_lam.hvm.snap → ...les::sort::bitonic::bitonic_sort_lam.snap b/...@sort__bitonic__bitonic_sort_lam.hvm.snap → ...les::sort::bitonic::bitonic_sort_lam.snap
diff --git a/...sts__run@sort__merge__merge_sort.hvm.snap → ...un@examples::sort::merge::merge_sort.snap b/...sts__run@sort__merge__merge_sort.hvm.snap → ...un@examples::sort::merge::merge_sort.snap
diff --git a/..._run@sort__radix__radix_sort_ctr.hvm.snap → ...xamples::sort::radix::radix_sort_ctr.snap b/..._run@sort__radix__radix_sort_ctr.hvm.snap → ...xamples::sort::radix::radix_sort_ctr.snap
diff --git a/..._run@sort__radix__radix_sort_lam.hvm.snap → ...xamples::sort::radix::radix_sort_lam.snap b/..._run@sort__radix__radix_sort_lam.hvm.snap → ...xamples::sort::radix::radix_sort_lam.snap
diff --git a/...pshots/tests__run@alloc_big_tree.hvm.snap → .../run@tests::programs::alloc_big_tree.snap b/...pshots/tests__run@alloc_big_tree.hvm.snap → .../run@tests::programs::alloc_big_tree.snap
diff --git a/...hots/tests__run@alloc_small_tree.hvm.snap → ...un@tests::programs::alloc_small_tree.snap b/...hots/tests__run@alloc_small_tree.hvm.snap → ...un@tests::programs::alloc_small_tree.snap
diff --git a/tests/snapshots/tests__run@bool_and.hvm.snap → ...pshots/run@tests::programs::bool_and.snap b/tests/snapshots/tests__run@bool_and.hvm.snap → ...pshots/run@tests::programs::bool_and.snap
diff --git a/...snapshots/tests__run@chained_ops.hvm.snap → ...ots/run@tests::programs::chained_ops.snap b/...snapshots/tests__run@chained_ops.hvm.snap → ...ots/run@tests::programs::chained_ops.snap
diff --git a/.../snapshots/tests__run@church_exp.hvm.snap → ...hots/run@tests::programs::church_exp.snap b/.../snapshots/tests__run@church_exp.hvm.snap → ...hots/run@tests::programs::church_exp.snap
diff --git a/.../snapshots/tests__run@church_mul.hvm.snap → ...hots/run@tests::programs::church_mul.snap b/.../snapshots/tests__run@church_mul.hvm.snap → ...hots/run@tests::programs::church_mul.snap
diff --git a/...snapshots/tests__run@commutation.hvm.snap → ...ots/run@tests::programs::commutation.snap b/...snapshots/tests__run@commutation.hvm.snap → ...ots/run@tests::programs::commutation.snap
diff --git a/tests/snapshots/tests__run@dec_bits.hvm.snap → ...pshots/run@tests::programs::dec_bits.snap b/tests/snapshots/tests__run@dec_bits.hvm.snap → ...pshots/run@tests::programs::dec_bits.snap
diff --git a/...apshots/tests__run@dec_bits_tree.hvm.snap → ...s/run@tests::programs::dec_bits_tree.snap b/...apshots/tests__run@dec_bits_tree.hvm.snap → ...s/run@tests::programs::dec_bits_tree.snap
diff --git a/tests/snapshots/tests__run@era_era.hvm.snap → ...apshots/run@tests::programs::era_era.snap b/tests/snapshots/tests__run@era_era.hvm.snap → ...apshots/run@tests::programs::era_era.snap
diff --git a/tests/snapshots/tests__run@f32.hvm.snap → ...s/snapshots/run@tests::programs::f32.snap b/tests/snapshots/tests__run@f32.hvm.snap → ...s/snapshots/run@tests::programs::f32.snap
diff --git a/...s/tests__run@heavy_pre_reduction.hvm.snap → ...tests::programs::heavy_pre_reduction.snap b/...s/tests__run@heavy_pre_reduction.hvm.snap → ...tests::programs::heavy_pre_reduction.snap
diff --git a/...napshots/tests__run@list_put_got.hvm.snap → ...ts/run@tests::programs::list_put_got.snap b/...napshots/tests__run@list_put_got.hvm.snap → ...ts/run@tests::programs::list_put_got.snap
diff --git a/.../snapshots/tests__run@neg_fusion.hvm.snap → ...hots/run@tests::programs::neg_fusion.snap b/.../snapshots/tests__run@neg_fusion.hvm.snap → ...hots/run@tests::programs::neg_fusion.snap
diff --git a/tests/snapshots/tests__run@nums.hvm.snap → .../snapshots/run@tests::programs::nums.snap b/tests/snapshots/tests__run@nums.hvm.snap → .../snapshots/run@tests::programs::nums.snap
diff --git a/tests/snapshots/tests__run@ops.hvm.snap → ...s/snapshots/run@tests::programs::ops.snap b/tests/snapshots/tests__run@ops.hvm.snap → ...s/snapshots/run@tests::programs::ops.snap
diff --git a/tests/snapshots/tests__run@queue.hvm.snap → ...snapshots/run@tests::programs::queue.snap b/tests/snapshots/tests__run@queue.hvm.snap → ...snapshots/run@tests::programs::queue.snap
diff --git a/...ests__run@stress_tests__all_tree.hvm.snap → ...ts::programs::stress_tests::all_tree.snap b/...ests__run@stress_tests__all_tree.hvm.snap → ...ts::programs::stress_tests::all_tree.snap
diff --git a/...sts__run@stress_tests__apelacion.hvm.snap → ...s::programs::stress_tests::apelacion.snap b/...sts__run@stress_tests__apelacion.hvm.snap → ...s::programs::stress_tests::apelacion.snap
diff --git a/...ts/tests__run@stress_tests__boom.hvm.snap → ...@tests::programs::stress_tests::boom.snap b/...ts/tests__run@stress_tests__boom.hvm.snap → ...@tests::programs::stress_tests::boom.snap
diff --git a/...ts/tests__run@stress_tests__burn.hvm.snap → ...@tests::programs::stress_tests::burn.snap b/...ts/tests__run@stress_tests__burn.hvm.snap → ...@tests::programs::stress_tests::burn.snap
diff --git a/...tests__run@stress_tests__fib_rec.hvm.snap → ...sts::programs::stress_tests::fib_rec.snap b/...tests__run@stress_tests__fib_rec.hvm.snap → ...sts::programs::stress_tests::fib_rec.snap
diff --git a/...tests__run@stress_tests__sum_rec.hvm.snap → ...sts::programs::stress_tests::sum_rec.snap b/...tests__run@stress_tests__sum_rec.hvm.snap → ...sts::programs::stress_tests::sum_rec.snap
diff --git a/...ests__run@stress_tests__sum_tail.hvm.snap → ...ts::programs::stress_tests::sum_tail.snap b/...ests__run@stress_tests__sum_tail.hvm.snap → ...ts::programs::stress_tests::sum_tail.snap
diff --git a/...ests__run@stress_tests__sum_tree.hvm.snap → ...ts::programs::stress_tests::sum_tree.snap b/...ests__run@stress_tests__sum_tree.hvm.snap → ...ts::programs::stress_tests::sum_tree.snap
diff --git a/...ts__run@stress_tests__tuple_rots.hvm.snap → ...::programs::stress_tests::tuple_rots.snap b/...ts__run@stress_tests__tuple_rots.hvm.snap → ...::programs::stress_tests::tuple_rots.snap
diff --git a/.../snapshots/tests__run@very_large.hvm.snap → ...hots/run@tests::programs::very_large.snap b/.../snapshots/tests__run@very_large.hvm.snap → ...hots/run@tests::programs::very_large.snap