Fixed path of logs dir in action and removed a smt file

viperproject · Aug 31, 2023 · eb1a440 · eb1a440
1 parent 415e449
commit eb1a440
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 7 deletions.
diff --git a/.github/workflows/z3_trace_log_gen.yml b/.github/workflows/z3_trace_log_gen.yml
@@ -42,7 +42,7 @@ jobs:
             gzip -c "$file" > "$logs/${base_name}.log.gz"
             echo "Compressed $file and saved to $logs/${base_name}.log.gz"
           done
-          echo "::set-output name=logs_path::$(readlink --canonicalize logs)"
+          echo "::set-output name=logs_path::$(realpath logs)"
 
       - name: Upload Build Artifacts
         uses: actions/[email protected]

diff --git a/smt-problems/small_forall_example copy.smt2 b/smt-problems/small_forall_example copy.smt2