diff --git a/src/scytherreport b/src/scytherreport deleted file mode 100755 index be13369..0000000 --- a/src/scytherreport +++ /dev/null @@ -1,10 +0,0 @@ -#!/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