From ece5065738cd834670686fbe647ecab34646a1c0 Mon Sep 17 00:00:00 2001
From: Samuel Chassot <samuel.chassot@epfl.ch>
Date: Thu, 28 Nov 2024 10:10:24 +0100
Subject: [PATCH] debug

---
 run-one-test.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run-one-test.sh b/run-one-test.sh
index c9a4b951..274372fc 100755
--- a/run-one-test.sh
+++ b/run-one-test.sh
@@ -49,7 +49,7 @@ function run_tests {
 
   if [ $ADMIT_VCS = true ]; then
     if [ $status -eq 0 ] || [ $status -eq 1 ]; then
-      cat $project/stainless-stack-trace.txt
+      cat stainless-stack-trace.txt
       echo "Stainless accepted project: $project."
       exit 0
     else