update submodule

DLR-FT · Sep 12, 2024 · ade1eab · ade1eab
1 parent e44f285
commit ade1eab
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/tests/specification/mod.rs b/tests/specification/mod.rs
@@ -24,8 +24,9 @@ pub fn spec_tests() {
     let mut compile_error_reports = 0;
 
     for test_path in paths {
+        println!("Report for {}:", test_path.display());
         let report = run::run_spec_test(test_path.to_str().unwrap());
-        println!("Report for {}:\n{}", test_path.display(), report);
+        println!("{}", report);
 
         match report {
             reports::WastTestReport::Asserts(assert_report) => {

diff --git a/tests/specification/testsuite b/tests/specification/testsuite