From 9f28154ad8f902b6219c8cf94b9f96a4fba4dc86 Mon Sep 17 00:00:00 2001
From: Paul-Saves <paul.saves@alumni.enac.fr>
Date: Wed, 29 Nov 2023 22:11:28 +0100
Subject: [PATCH] update coverage test

---
 .github/workflows/tests_coverage.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/tests_coverage.yml b/.github/workflows/tests_coverage.yml
index 21e04db1e..364340bfd 100644
--- a/.github/workflows/tests_coverage.yml
+++ b/.github/workflows/tests_coverage.yml
@@ -40,6 +40,7 @@ jobs:
     - name: Test with pytest and coverage
       run: |
         pip install coverage
+        pip install -r requirements.txt
         RUN_SLOW=1 coverage run --source=smt -m pytest
 
     - name: Coveralls