From 72162e82c66f8392f2c398ac865acf8addc331ac Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 28 Dec 2005 12:13:17 +0000 Subject: [PATCH] - Some cleanup. --- src/arachne | 3 --- src/cetest-cm.sh | 6 ------ src/cetest.sh | 10 ---------- src/scytherat | 37 ------------------------------------- src/scytherss | 7 ------- src/speedtest | 3 --- 6 files changed, 66 deletions(-) delete mode 100755 src/arachne delete mode 100755 src/cetest-cm.sh delete mode 100755 src/cetest.sh delete mode 100755 src/scytherat delete mode 100755 src/scytherss delete mode 100755 src/speedtest diff --git a/src/arachne b/src/arachne deleted file mode 100755 index 65013f4..0000000 --- a/src/arachne +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -scyther -a $* diff --git a/src/cetest-cm.sh b/src/cetest-cm.sh deleted file mode 100755 index bdc7481..0000000 --- a/src/cetest-cm.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh -# -# Test conform ce stuff, but our version -# -./scyther -r5 $* ../spdl/bkepk.spdl -./scyther -r6 $* ../spdl/bkepk.spdl | tail -n 1 diff --git a/src/cetest.sh b/src/cetest.sh deleted file mode 100755 index b1caa8e..0000000 --- a/src/cetest.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh -# -# Test conform ce stuff. -# -./scyther -r6 $* ../spdl/bkepk-ce.spdl -./scyther -r7 $* ../spdl/bkepk-ce.spdl | tail -n 1 -./scyther -r8 $* ../spdl/bkepk-ce.spdl | tail -n 1 -./scyther -r7 $* ../spdl/bkepk-ce2.spdl | tail -n 1 -./scyther -r8 $* ../spdl/bkepk-ce2.spdl | tail -n 1 -./scyther -r9 $* ../spdl/bkepk-ce2.spdl | tail -n 1 diff --git a/src/scytherat b/src/scytherat deleted file mode 100755 index fc73d2f..0000000 --- a/src/scytherat +++ /dev/null @@ -1,37 +0,0 @@ -#!/bin/bash -# -# Shell script to display the latex output relatively quickly. For -# internal testing only, as it depends on the spdl subdirectory. -# -# Usage example: -# -# ./scytherat ns3 -# - -file=../spdl/$1.spdl -template=../src/attacktemplate - -if [ -f $file ] -then - ../src/scyther --latex $file -o attack.tex - if [ "$?" -eq "3" ] - then - latex $template.tex - - mv $template.dvi attack.dvi - #dvips attack.dvi -o attack.ps - - # also eps output now - #ps2eps -f attack.ps - - xdvi attack.dvi # for Xdvi - # kdvi attack.dvi # for KDE environment - # kghostview attack.ps # postscript in KDE - fi -else - - echo "No file $file found." - -fi - - diff --git a/src/scytherss b/src/scytherss deleted file mode 100755 index 3ad3eb6..0000000 --- a/src/scytherss +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh -# -# Typical usage: -# -# ./scytherss bke.spdl -r2 | ggv - - -./scyther --state-space $* | dot -Tps diff --git a/src/speedtest b/src/speedtest deleted file mode 100755 index 5a70e53..0000000 --- a/src/speedtest +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -./scyther -d -p0 -r 8 $* ../spdl/speedtest.spdl >/dev/null