diff --git a/src/scytherreport b/src/scytherreport new file mode 100755 index 0000000..be13369 --- /dev/null +++ b/src/scytherreport @@ -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