From 094267cd03b654e438ad4cc34e5c158270a92a0a Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 20 Jan 2005 14:40:52 +0000
Subject: [PATCH] - Moved scripts to test directory. Broken commit: paths are
 all wrong   now.

---
 test/commandlines.txt               | 32 +++++++++++++++++++++++++++++
 {spdl => test}/gen-tests.py         |  0
 {spdl => test}/mp.sh                |  0
 {spdl => test}/multiprotocoltest.py |  0
 {spdl => test}/notes.txt            |  0
 {spdl => test}/test-clp.sh          |  0
 {spdl => test}/test.sh              |  0
 {spdl => test}/tuples.py            |  0
 8 files changed, 32 insertions(+)
 create mode 100644 test/commandlines.txt
 rename {spdl => test}/gen-tests.py (100%)
 rename {spdl => test}/mp.sh (100%)
 rename {spdl => test}/multiprotocoltest.py (100%)
 rename {spdl => test}/notes.txt (100%)
 rename {spdl => test}/test-clp.sh (100%)
 rename {spdl => test}/test.sh (100%)
 rename {spdl => test}/tuples.py (100%)

diff --git a/test/commandlines.txt b/test/commandlines.txt
new file mode 100644
index 0000000..204edc7
--- /dev/null
+++ b/test/commandlines.txt
@@ -0,0 +1,32 @@
+# Generate tests
+#
+ls -1 *.spdl | ./gen-tests.py 1 >bigtest.sh
+
+# get the fails of the singletons
+#
+grep -h failed combined1*.txt | awk '{ print $2, $4 }' | sort | uniq >fails1.txt
+
+# get the fails of the combos
+# find version
+find -name "combined3*.txt" -exec grep -h failed {} \; >tempfile.txt
+cat tempfile.txt | awk '{ print $2, $4 }' | sort | uniq >fails3.txt
+
+# find any jewels
+#
+cat fails1.txt fails2.txt | sort | uniq -u >jewels2.txt
+
+# relocate such a jewel
+grep -l "nsl3.*Nisynch_6.*failed" *.txt
+
+# fully automatic relocate
+cat jewels2.txt | awk '{ system("grep -l \"" $1 ".*" $2 ".*failed\" combined2*.txt") }' >bad2-combos.txt
+
+cat jewels3.txt | awk '{ system("find -name \"combined3*.txt\" -exec grep -l \\\" $1 \".*\" $2 \".*failed\" {} \\\"\;") }' >bad3-combos.txt
+# Instance
+find -name "combined3*.txt" -exec grep -l "wmfbrutus.*Secret_3.*failed" {} \;
+
+# remove empty regular files
+find -empty -type f | xargs -n 1 rm
+
+# Show an attack on a combo file
+cat file1.spdl file2.spdl | ../src/scyther -a - | dot -Tps | ggv -
diff --git a/spdl/gen-tests.py b/test/gen-tests.py
similarity index 100%
rename from spdl/gen-tests.py
rename to test/gen-tests.py
diff --git a/spdl/mp.sh b/test/mp.sh
similarity index 100%
rename from spdl/mp.sh
rename to test/mp.sh
diff --git a/spdl/multiprotocoltest.py b/test/multiprotocoltest.py
similarity index 100%
rename from spdl/multiprotocoltest.py
rename to test/multiprotocoltest.py
diff --git a/spdl/notes.txt b/test/notes.txt
similarity index 100%
rename from spdl/notes.txt
rename to test/notes.txt
diff --git a/spdl/test-clp.sh b/test/test-clp.sh
similarity index 100%
rename from spdl/test-clp.sh
rename to test/test-clp.sh
diff --git a/spdl/test.sh b/test/test.sh
similarity index 100%
rename from spdl/test.sh
rename to test/test.sh
diff --git a/spdl/tuples.py b/test/tuples.py
similarity index 100%
rename from spdl/tuples.py
rename to test/tuples.py