From 3216e5d8462cb699db78c7cea4ecf96edd5ee9bf Mon Sep 17 00:00:00 2001
From: Mathias Baumann <marenz@supradigital.org>
Date: Mon, 1 Apr 2019 16:57:58 +0200
Subject: [PATCH] Run several instances of solfuzzer in parallel

---
 test/cmdlineTests.sh | 21 ++-------------------
 1 file changed, 2 insertions(+), 19 deletions(-)

diff --git a/test/cmdlineTests.sh b/test/cmdlineTests.sh
index 37c319e7d..76aa0229e 100755
--- a/test/cmdlineTests.sh
+++ b/test/cmdlineTests.sh
@@ -392,26 +392,9 @@ SOLTMPDIR=$(mktemp -d)
     cd "$SOLTMPDIR"
     "$REPO_ROOT"/scripts/isolate_tests.py "$REPO_ROOT"/test/
     "$REPO_ROOT"/scripts/isolate_tests.py "$REPO_ROOT"/docs/ docs
-    for f in *.sol
-    do
-        set +e
-        "$REPO_ROOT"/build/test/tools/solfuzzer --quiet < "$f"
-        if [ $? -ne 0 ]
-        then
-            printError "Fuzzer failed on:"
-            cat "$f"
-            exit 1
-        fi
 
-        "$REPO_ROOT"/build/test/tools/solfuzzer --without-optimizer --quiet < "$f"
-        if [ $? -ne 0 ]
-        then
-            printError "Fuzzer (without optimizer) failed on:"
-            cat "$f"
-            exit 1
-        fi
-        set -e
-    done
+    echo *.sol | xargs -P 4 -n 50 "$REPO_ROOT"/build/test/tools/solfuzzer --quiet --input-files
+    echo *.sol | xargs -P 4 -n 50 "$REPO_ROOT"/build/test/tools/solfuzzer --without-optimizer --quiet --input-files
 )
 rm -rf "$SOLTMPDIR"