fixup! DEBUG: add timing info to unit tests

Author: tautschnig

.github/workflows/clang-sanitizer.yaml

@@ -87,8 +87,8 @@ jobs:
           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
-          make TAGS="-d yes [!shouldfail]" -C jbmc/unit test
+          make TAGS="-d yes' '[!shouldfail]" -C unit test
+          make TAGS="-d yes' '[!shouldfail]" -C jbmc/unit test
       - name: Run regression tests
         run: |
           export PATH=$PATH:`pwd`/src/solvers