diff --git a/tools/do_concolic.sh b/tools/do_concolic.sh
index 8661e2d5b9e75298a014ae60ce85d4a2705e9951..bf385250e9c2d09ad0471dcdea6a7eec793447a8 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