debug

epfl-lara · Nov 28, 2024 · ece5065 · ece5065
1 parent c62c253
commit ece5065
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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