-
Notifications
You must be signed in to change notification settings - Fork 5
/
run_configs
executable file
·15 lines (12 loc) · 1.05 KB
/
run_configs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#!/bin/sh
echo "RUNNING ANALYSIS CONFIGS ON $1"
echo "BATCH"
/usr/bin/time -o $2/$1.batch.time ./dai _bugswarm/$1/fail -edit _bugswarm/$1/pass -prev experiment_inputs/$1/fail/callgraph -next experiment_inputs/$1/pass/callgraph | grep EXPERIMENT > $2/$1.batch
echo "INCREMENTAL"
/usr/bin/time -o $2/$1.incr.time ./dai _bugswarm/$1/fail -edit _bugswarm/$1/pass -prev experiment_inputs/$1/fail/callgraph -next experiment_inputs/$1/pass/callgraph -incr | grep EXPERIMENT > $2/$1.incr
if test -f "experiment_inputs/$1/query"; then
echo "DEMAND-DRIVEN"
/usr/bin/time -o $2/$1.dd.time ./dai _bugswarm/$1/fail -edit _bugswarm/$1/pass -prev experiment_inputs/$1/fail/callgraph -next experiment_inputs/$1/pass/callgraph -demand "$(<experiment_inputs/$1/query)" | grep EXPERIMENT > $2/$1.dd
echo "DEMAND-DRIVEN and INCREMENTAL"
/usr/bin/time -o $2/$1.ddincr.time ./dai _bugswarm/$1/fail -edit _bugswarm/$1/pass -prev experiment_inputs/$1/fail/callgraph -next experiment_inputs/$1/pass/callgraph -demand "$(<experiment_inputs/$1/query)" -incr | grep EXPERIMENT > $2/$1.ddincr
fi