andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Added a reporting script, intended for parallel computations.

Browse Source
This commit is contained in:
ccremers 2004-07-28 12:40:16 +00:00
parent d62a8d89e1
commit 7aaed2dc90
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/scytherreport Executable file
View File

@ -0,0 +1,10 @@
#!/bin/sh
./scyther $* >>output.txt
case $? in
0) echo "./scyther $* : Noattack" >>done.txt;;
1) echo "./scyther $* : ERROR" >>done.txt;;
2) echo "./scyther $* : Noattack (no claims)" >>done.txt;;
3) echo "./scyther $* : ATTACK" >>done.txt;;
esac