Run strings-smoke-tests and janalyzer tests

There were typos in the test directory names,
NathanJPhillips · Jul 7, 2018 · 0c75b47 · 0c75b47
1 parent b73a9e3
commit 0c75b47
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/jbmc/regression/Makefile b/jbmc/regression/Makefile
@@ -1,14 +1,14 @@
 # For the best possible utilisation of multiple cores when
 # running tests in parallel, it is important that these directories are
 # listed with decreasing runtimes (i.e. longest running at the top)
-DIRS = janalzyer-taint \
+DIRS = janalyzer-taint \
        jbmc \
        jbmc-concurrency \
        jbmc-cover \
        jbmc-inheritance \
        jbmc-strings \
        jdiff \
-       string-smoke-tests \
+       strings-smoke-tests \
        jbmc-generics \
        # Empty last line