WIP: Debug unit test that does not terminate with sanitizer

Author: tautschnig

.github/workflows/clang-sanitizer.yaml

@@ -78,7 +78,7 @@ jobs:
         run: ccache -s
       - name: Run unit tests
         run: |
-          make TAGS="-d yes" -C unit test
+          make TAGS="-d yes ~[!shouldfail] ~[not_ubsan]" -C unit test
           make TAGS="-d yes" -C jbmc/unit test
           echo "Running expected failure tests"
           make TAGS="-d yes [!shouldfail]" -C unit test

unit/util/run.cpp

@@ -31,7 +31,7 @@ SCENARIO("shell_quote() escaping", "[core][util][run]")
 #endif
 }
 
-SCENARIO("run() error reporting", "[core][util][run]")
+SCENARIO("run() error reporting", "[core][util][run][not_ubsan]")
 {
   GIVEN("A command invoking a non-existent executable")
   {