debug stack

epfl-lara · Dec 11, 2024 · 12d5675 · 12d5675
1 parent 82ac507
commit 12d5675
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/run-one-test.sh b/run-one-test.sh
@@ -30,19 +30,19 @@ function run_tests {
     cat "./verify.sh"
     echo ""
     if [ "$ADMIT_VCS" = true ]; then
-      bash "./verify.sh" "--compact" "--admit-vcs=true"
+      bash "./verify.sh" "--compact" "--admit-vcs=true" "--debug=stack"
     else
-      bash "./verify.sh" "--compact"
+      bash "./verify.sh" "--compact" "--debug=stack"
     fi
     status=$?
     cd -
   else
     echo "Running '$STAINLESS --config-file=$conf $@' on bolts project: $project..."
     echo "$ find $project -name '*.scala' -exec $STAINLESS --config-file=$conf $@ {} +"
     if [ "$ADMIT_VCS" = true ]; then
-      find "$project" -name '*.scala' -exec $STAINLESS "--config-file=$conf" "--compact" "--admit-vcs=true" "$@" {} +
+      find "$project" -name '*.scala' -exec $STAINLESS "--config-file=$conf" "--compact" "--admit-vcs=true" "--debug=stack" "$@" {} +
     else
-      find "$project" -name '*.scala' -exec $STAINLESS "--config-file=$conf" "$@" {} +
+      find "$project" -name '*.scala' -exec $STAINLESS "--config-file=$conf" "--debug=stack" "$@" {} +
     fi
     status=$?
   fi