diff --git a/tools/ps_analyze.sh b/tools/ps_analyze.sh index 4ed3e6a029b0b4c50a335059a4cfe190d6a6303a..c2e74539ccb601caee156c3cdb6cafac6b25f891 100755 --- a/tools/ps_analyze.sh +++ b/tools/ps_analyze.sh @@ -524,7 +524,7 @@ fi # # Run concolic engine # -perform_step concolic $PEASOUP_HOME/tools/do_concolic.sh a -z $DIR/grace.conf +perform_step concolic $PEASOUP_HOME/tools/do_concolic.sh a -z $PEASOUP_UMBRELLA_DIR/grace.conf ## ## Populate IR Database