From 7aaed2dc906b3bf9d578b3d9e1b968a8c09cf655 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 28 Jul 2004 12:40:16 +0000
Subject: [PATCH] - Added a reporting script, intended for parallel
 computations.

---
 src/scytherreport | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 src/scytherreport

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