3 if [ -a ~/.AFID/SaveTestCase ]
8 export PATH=$PATH:~/.AFID/
9 if [ ! -a ~/research/Robust/.afidconfig ]
11 echo "project=Compiler" > ~/research/Robust/.afidconfig
12 echo "user=$USER" >> ~/research/Robust/.afidconfig
13 echo "text/visual=visual" >> ~/research/Robust/.afidconfig
14 echo "postURL=http://afid.eecs.uci.edu/afid/upload_file.php" >> ~/research/Robust/.afidconfig
15 ~/.AFID/SaveTestCase --create-exclude-file
17 ~/.AFID/SaveTestCase java $@