From bca0e9231606e96e02b5fe184ac72a13a72bd187 Mon Sep 17 00:00:00 2001
From: Dominik Winterer <dominik.winterer@inf.ethz.ch>
Date: Fri, 18 Oct 2024 22:32:48 +0200
Subject: [PATCH] fix

---
 .github/workflows/ci.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9a37171..e21d441 100644
--- 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."