fix

wintered · Oct 18, 2024 · bca0e92 · bca0e92
1 parent b5a3406
commit bca0e92
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -29,4 +29,9 @@ jobs:
       run: |
         bin/gen_tester grammars/Bitvectors.g4
         bin/run_tester 2 100 Bitvectors solvers.cfg
+        checksum=$(cat tests/Bitvectors/*.smt2 | md5sum | awk '{print $1}')
+        expected_checksum="7a478e799c7e705d8895d92cdce2f067"
+        # Exit with 1 if checksum doesn't match
+        [[ "$checksum" != "$expected_checksum" ]] && { echo "Checksum does not match. Exiting."; exit 1; }
+        echo "Checksum matches."