Skip to content

Commit 0c75b47

Browse files
Run strings-smoke-tests and janalyzer tests
There were typos in the test directory names,
1 parent b73a9e3 commit 0c75b47

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

jbmc/regression/Makefile

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,14 @@
11
# For the best possible utilisation of multiple cores when
22
# running tests in parallel, it is important that these directories are
33
# listed with decreasing runtimes (i.e. longest running at the top)
4-
DIRS = janalzyer-taint \
4+
DIRS = janalyzer-taint \
55
jbmc \
66
jbmc-concurrency \
77
jbmc-cover \
88
jbmc-inheritance \
99
jbmc-strings \
1010
jdiff \
11-
string-smoke-tests \
11+
strings-smoke-tests \
1212
jbmc-generics \
1313
# Empty last line
1414

0 commit comments

Comments
 (0)