DEBUG: add timing info to unit tests

Author: tautschnig

.github/workflows/clang-sanitizer.yaml

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