Ugly commit.

viperproject · Jan 19, 2023 · 0195479 · 0195479
1 parent 4e18530
commit 0195479
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -166,6 +166,7 @@ jobs:
         env:
           PRUSTI_VIPER_BACKEND: carbon
           PRUSTI_CUSTOM_HEAP_ENCODING: true
+          PRUSTI_TRACE_WITH_SYMBOLIC_EXECUTION: false
           PRUSTI_PURIFY_WITH_SYMBOLIC_EXECUTION: false
         run: |
           python x.py test custom_heap_encoding
@@ -183,6 +184,14 @@ jobs:
           PRUSTI_PURIFY_WITH_SYMBOLIC_EXECUTION: true
         run: |
           python x.py test custom_heap_encoding
+      - name: trace_with_symbolic_execution
+        env:
+          PRUSTI_VIPER_BACKEND: silicon
+          PRUSTI_CUSTOM_HEAP_ENCODING: false
+          PRUSTI_TRACE_WITH_SYMBOLIC_EXECUTION: false
+          PRUSTI_PURIFY_WITH_SYMBOLIC_EXECUTION: false
+        run: |
+          python x.py test custom_heap_encoding
       - name: Run with purification.
         env:
           PRUSTI_VIPER_BACKEND: silicon