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