From 0195479843fcdb0a859f9742a8d13cc7e2a7c0ff Mon Sep 17 00:00:00 2001 From: Vytautas Astrauskas Date: Thu, 19 Jan 2023 17:23:52 +0100 Subject: [PATCH] Ugly commit. --- .github/workflows/test.yml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 9c08fb38a32..f51be965b6c 100644 --- 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