Cleanup

.github/workflows/spec-tests.yml

@@ -53,7 +53,6 @@ jobs:
       run: |
         cmake --build build
     - name: Run spec tests
-      continue-on-error: true
       run: |
         cd test
         ./run-spec-test.py

test/run-spec-test.py

@@ -200,6 +200,8 @@ class Wasm3():
         if self.p:
             self.terminate()
 
+        #print("== Running", self.exe)
+
         self.q = Queue()
         self.p = Popen(
             get_engine_cmd(self.engine, self.exe),
@@ -220,6 +222,10 @@ class Wasm3():
     def load(self, fn):
         self.loaded = fn
 
+        #self._flush_input()
+        #self._write(f":init\n")
+        #self._read_until("wasm3> ", False)
+
         self._flush_input()
         self._write(f":load {fn}\n")
         return self._read_until("wasm3> ", False)
@@ -329,7 +335,8 @@ def runInvoke(test):
 
     test_id = f"{test.source} {test.wasm} {test.cmd[0]}({', '.join(test.cmd[1:])})"
     if test_id in blacklist and not args.all:
-        warning(f"Skipping {test_id} (blacklisted)")
+        if args.verbose:
+            warning(f"Skipping {test_id} (blacklisted)")
         stats.skipped += 1
         return