Sort regression/Makefile

Generally we try to keep lists like this sorted.

Author: hannes-steffenhagen-diffblue

regression/Makefile

@@ -1,38 +1,38 @@
 # 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 = cbmc \
-       cbmc-library \
-       goto-analyzer \
-       ansi-c \
-       goto-instrument \
-       cpp \
+DIRS = ansi-c \
+       cbmc \
        cbmc-concurrency \
        cbmc-cover \
+       cbmc-cpp \
        cbmc-incr-oneloop \
-       goto-instrument-typedef \
-       smt2_solver \
-       smt2_strings \
-       strings \
-       invariants \
-       goto-diff \
-       test-script \
+       cbmc-library \
+       contracts \
+       cpp \
+       goto-analyzer \
        goto-analyzer-taint \
-       goto-gcc \
-       goto-harness \
-       goto-cl \
        goto-cc-cbmc \
-       cbmc-cpp \
-       goto-cc-goto-analyzer \
-       statement-list \
-       systemc \
-       contracts \
        goto-cc-file-local \
+       goto-cc-goto-analyzer \
+       goto-cl \
+       goto-diff \
+       goto-gcc \
+       goto-harness \
+       goto-instrument \
+       goto-instrument-typedef \
+       goto-ld \
+       invariants \
        linking-goto-binaries \
-       symtab2gb \
+       smt2_solver \
+       smt2_strings \
        solver-hardness \
-       goto-ld \
-       # Empty last line
+       statement-list \
+       strings \
+       symtab2gb \
+       systemc \
+       test-script \
+			 # Empty last line
 
 ifeq ($(OS),Windows_NT)
     detected_OS := Windows