From 41360ccd57997edfd6807c75a33f4dbc4b65558b Mon Sep 17 00:00:00 2001
From: chriseth <c@ethdev.com>
Date: Fri, 24 Feb 2017 19:33:05 +0100
Subject: Script for filtering unique failures.

---
 scripts/uniqueErrors.sh | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 scripts/uniqueErrors.sh

(limited to 'scripts')

diff --git a/scripts/uniqueErrors.sh b/scripts/uniqueErrors.sh
new file mode 100755
index 00000000..eee1df90
--- /dev/null
+++ b/scripts/uniqueErrors.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+REPO=$(dirname $0)/..
+
+echo "Finding unique failures..."
+(
+for x in $*
+do
+  echo -n $x " # "
+  # This subshell is a workaround to prevent the shell from printing
+  # "Aborted"
+  ("$REPO"/build/test/solfuzzer < "$x" || true) 2>&1 | head -n 1
+done
+) | sort -u -t'#' -k 2
-- 
cgit