From 8f52ebdd9dabd8a29a886a03c78474845db65e5d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=96zg=C3=BCr=20Akg=C3=BCn?= <ozgurakgun@gmail.com>
Date: Sat, 9 Mar 2024 17:46:16 +0000
Subject: [PATCH] Copy the allsolvers test case

---
 Dockerfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index fa507365e..b43a86020 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -68,6 +68,10 @@ RUN make install
 RUN ls -l /root/.local/bin
 RUN du -sh /root/.local/bin
 
+# Copy the allsolvers test case
+RUN mkdir -p tests
+COPY tests/allsolvers tests/allsolvers
+
 # a test to see if all solvers work as expected
 RUN tests/allsolvers/test.sh