use dyntest for tests/tests.rs

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 = { path = "../dyntest" }
 
 [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

tests/foo.rs

@@ -0,0 +1,25 @@
+use dyntest::{dyntest, DynTester};
+use std::fs;
+
+dyntest!(test_examples, test_foo);
+
+fn test_examples(t: &mut DynTester) {
+  for (name, path) in t.glob("{examples,tests/programs}/**/*.hvm") {
+    t.test(name, move || {
+      assert!(!fs::read_to_string(path).unwrap().is_empty());
+    });
+  }
+}
+
+fn test_foo(t: &mut DynTester) {
+  for file in ["a", "b", "c"] {
+    t.test(file, || test_file(file));
+  }
+  for file in ["abc", "xyz"] {
+    t.test(file, || test_file(file)).should_panic(true);
+  }
+}
+
+fn test_file(file: &str) {
+  assert_eq!(file.len(), 1);
+}