From ef575e1499f762f728cb7a048d2d111da5ea7db6 Mon Sep 17 00:00:00 2001
From: an7s <an7s@git.zephyr-software.com>
Date: Mon, 5 Dec 2011 19:12:49 +0000
Subject: [PATCH] Have Grace produce exit status codes for each input

Former-commit-id: e6b0622c6228ecf21f67896a757fa38a75ce7aaf
---
 tools/do_concolic.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/do_concolic.sh b/tools/do_concolic.sh
index 8661e2d5b..bf385250e 100755
--- a/tools/do_concolic.sh
+++ b/tools/do_concolic.sh
@@ -44,8 +44,8 @@ do
 done
 
 
-echo STRATA_GRACE=1 $GRACE_HOME/concolic/src/util/linux/run $extra_args  -s $sym -o replay,coverage,instruction_addresses $strata_exe
-     STRATA_GRACE=1 $GRACE_HOME/concolic/src/util/linux/run $extra_args  -s $sym -o replay,coverage,instruction_addresses $strata_exe
+echo STRATA_GRACE=1 $GRACE_HOME/concolic/src/util/linux/run $extra_args  -s $sym -o replay,coverage,instruction_addresses,exit_codes $strata_exe
+     STRATA_GRACE=1 $GRACE_HOME/concolic/src/util/linux/run $extra_args  -s $sym -o replay,coverage,instruction_addresses,exit_codes $strata_exe
 
 echo cleaning up
 killall -q controller
-- 
GitLab