From ebee451f1c675273fe80be126ce1e03aaa405ae5 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Mon, 14 Oct 2019 00:54:10 -0700
Subject: [PATCH] [sledge] Improve test scripts

Summary: Better failure messages and reports

Reviewed By: ngorogiannis

Differential Revision: D17801940

fbshipit-source-id: db3d13eaf
---
 sledge/test/Makefile | 2 +-
 sledge/test/wrap.sh  | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/sledge/test/Makefile b/sledge/test/Makefile
index e57d3bfb4..71b8a4e00 100644
--- a/sledge/test/Makefile
+++ b/sledge/test/Makefile
@@ -48,7 +48,7 @@ translate-report-errors:
 # report errors
 translate-report:
 	@$(MAKE) --silent _translate-report-raw \
-	 | grep -E -v "RESULT: Unimplemented: (coroutines|landingpad of type other than {i8\*, i32}|windows exception handling|non-integral pointer types|types with undetermined size):" \
+	 | grep -E -v "RESULT: Unimplemented" \
 	 | grep -E -v "RESULT: (Success|Invalid input)" \
 	 | column -ts$$'\t'
 
diff --git a/sledge/test/wrap.sh b/sledge/test/wrap.sh
index 5efdf3377..ac923d23a 100755
--- a/sledge/test/wrap.sh
+++ b/sledge/test/wrap.sh
@@ -27,7 +27,9 @@ cd $testdir
 )
 status=$?
 case $status in
-  ( 139 ) echo -e "RESULT: SEGFAULT" >> $testname.out ;;
+  ( 132 ) echo -e "RESULT: illegal instruction" >> $testname.out ;;
+  ( 136 ) echo -e "RESULT: floating-point exception" >> $testname.out ;;
+  ( 139 ) echo -e "RESULT: segmentation violation" >> $testname.out ;;
   ( 127 ) echo -e "RESULT: MEMOUT" >> $testname.out ;;
   ( 137 | 152 ) echo -e "RESULT: TIMEOUT" >> $testname.out ;;
   ( * ) ;;