File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed
Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change 3232 for result in ` ls result/result-* .clingo`
3333 do
3434 fingerprint=` echo $result | cut -d- -f2 | cut -d. -f1`
35- sudo genClingoGraph/clingo2Dot.py result/ $result $fingerprint .dot
35+ sudo genClingoGraph/clingo2Dot.py $result $fingerprint .dot
3636 sudo dot -Tsvg -o " finalResult/$syscall /benchmark-$fingerprint .svg" $fingerprint .dot
3737 sudo rm -f $fingerprint .dot
3838 if [ ! -z $benchmark ]
4848 for result in ` ls result/general.clingo-control-* `
4949 do
5050 fingerprint=` echo $result | cut -d- -f3`
51- sudo genClingoGraph/clingo2Dot.py result/ $result $fingerprint .dot
51+ sudo genClingoGraph/clingo2Dot.py $result $fingerprint .dot
5252 sudo dot -Tsvg -o " finalResult/$syscall /background-$fingerprint .svg" $fingerprint .dot
5353 sudo rm -f $fingerprint .dot
5454 if [ ! -z $background ]
6262 for result in ` ls result/general.clingo-program-* `
6363 do
6464 fingerprint=` echo $result | cut -d- -f3`
65- sudo genClingoGraph/clingo2Dot.py result/ $result $fingerprint .dot
65+ sudo genClingoGraph/clingo2Dot.py $result $fingerprint .dot
6666 sudo dot -Tsvg -o " finalResult/$syscall /foreground-$fingerprint .svg" $fingerprint .dot
6767 sudo rm -f $fingerprint .dot
6868 if [ ! -z $foreground ]
You can’t perform that action at this time.
0 commit comments