Run strings-smoke-tests

peterschrammel · peterschrammel · commit e2cd5f298523 · 2018-06-22T18:20:52.000+01:00
There was a typo in the test directory name
diff --git a/jbmc/regression/Makefile b/jbmc/regression/Makefile
@@ -8,7 +8,7 @@ DIRS = janalzyer-taint \
        jbmc-inheritance \
        jbmc-strings \
        jdiff \
-       string-smoke-tests \
+       strings-smoke-tests \
        jbmc-generics \
        # Empty last line
 
