Skip to content
Snippets Groups Projects
Commit dd53fcc8 authored by bdr7fv's avatar bdr7fv
Browse files

Updated do_p1transform.sh to cleanup tmp files.


Former-commit-id: 5c4469c4bffe961db659c66b4d99840170be15c9
parent e9ff4df7
No related branches found
No related tags found
No related merge requests found
......@@ -75,6 +75,9 @@ input_cnt=0
#run all .json inputs through the replayer
for i in `ls $CONCOLIC_DIR/*.json`
do
rm -f stdout.* stderr.* exit_status
rm -rf grace_replay/
#check to see if the sym file exists, if not create it.
if [ ! -e $TOP_LEVEL/a.sym ]; then
$GRACE_HOME/concolic/src/util/linux/objdump_to_grace $STRATAFIED_BINARY
......@@ -114,7 +117,8 @@ do
input_cnt=`expr $input_cnt + 1`
done
rm -f stdout.* stderr.* exit_status
rm -rf grace_replay/
echo "Finished replaying .json files: Replayed $input_cnt inputs"
touch $EXECUTED_ADDRESSES_CONCOLIC
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment