From 8e974a019c88183e3128b4758913bf3a1d7e525a Mon Sep 17 00:00:00 2001
From: Michael Zhu <mchl.zhu.96@gmail.com>
Date: Tue, 1 Aug 2023 11:31:46 -0400
Subject: [PATCH] Add reference tests to test.yml

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

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 75f8a10..9b9fc43 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -37,6 +37,11 @@ jobs:
         uses: actions/setup-python@v4
         with:
           python-version: "3.11"
+      
+      - name: Run Python reference tests
+        run: |
+          forge test -vvv --ffi --match-test testRef
+        id: test-ref
 
       - name: Install Halmos
         run: pip install halmos