interim

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