From d0fbdc6b038f4bded2e317614c2c306f817d0746 Mon Sep 17 00:00:00 2001 From: Anh <zenpoems@gmail.com> Date: Mon, 10 Sep 2018 21:42:55 -0400 Subject: [PATCH] Better error reporting --- bin/zafl.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/bin/zafl.sh b/bin/zafl.sh index f9b85df..d44f3e4 100755 --- a/bin/zafl.sh +++ b/bin/zafl.sh @@ -105,5 +105,8 @@ if [ $? -eq 0 ]; then echo Zafl: error: output binary does not show a dependence on the Zafl support library exit 1 fi +else + echo Zafl: error transforming input program + exit 1 fi -- GitLab