andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Updated regression tests.

Browse Source
This commit is contained in:
Cas Cremers 2018-10-21 17:09:29 +02:00
parent 1c3e32a2da
commit 54b3654b07
16 changed files with 21 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/regression-tests/results/test-gui-Protocols-ISO-9798-iso25-tag.spdl --timer=60 --plain.time
View File

@ -1,2 +1,2 @@
Passed wall time in seconds:
4
2

2
src/regression-tests/results/test-gui-Protocols-ISO-9798-iso26-tag.spdl --timer=60 --plain.time
View File

@ -1,2 +1,2 @@
Passed wall time in seconds:
35
22

8
src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-2-5.spdl --timer=60 --plain.out
View File

@ -6,7 +6,7 @@ claim isoiec-9798-2-5,A Alive_A6 - Fail [at least 3 attacks]
claim isoiec-9798-2-5,A Weakagree_A7 - Fail [at least 3 attacks]
claim isoiec-9798-2-5,B Commit_B2 (A,Kab,Text5) Fail [at least 5 attacks]
claim isoiec-9798-2-5,B Secret_B3 Kab Ok [no attack within bounds]
claim isoiec-9798-2-5,B Secret_B4 Text5 Ok [no attack within bounds] time=60
claim isoiec-9798-2-5,B Secret_B5 Text7 Ok [no attack within bounds] time=60
claim isoiec-9798-2-5,B Alive_B6 - Ok [does not occur] time=60
claim isoiec-9798-2-5,B Weakagree_B7 - Ok [does not occur] time=60
claim isoiec-9798-2-5,B Secret_B4 Text5 Ok [no attack within bounds]
claim isoiec-9798-2-5,B Secret_B5 Text7 Ok [no attack within bounds]
claim isoiec-9798-2-5,B Alive_B6 - Fail [at least 3 attacks]
claim isoiec-9798-2-5,B Weakagree_B7 - Fail [at least 2 attacks]

6
src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-2-6.spdl --timer=60 --plain.out
View File

@ -7,6 +7,6 @@ claim isoiec-9798-2-6,A Weakagree_A7 - Fail [at least 2 attacks]
claim isoiec-9798-2-6,B Commit_B2 (A,Kab,Text6) Fail [at least 2 attacks]
claim isoiec-9798-2-6,B Secret_B3 Kab Ok [no attack within bounds]
claim isoiec-9798-2-6,B Secret_B4 Text6 Ok [no attack within bounds]
claim isoiec-9798-2-6,B Secret_B5 Text8 Ok [no attack within bounds] time=60
claim isoiec-9798-2-6,B Alive_B6 - Ok [does not occur] time=60
claim isoiec-9798-2-6,B Weakagree_B7 - Ok [does not occur] time=60
claim isoiec-9798-2-6,B Secret_B5 Text8 Ok [no attack within bounds]
claim isoiec-9798-2-6,B Alive_B6 - Fail [at least 2 attacks]
claim isoiec-9798-2-6,B Weakagree_B7 - Fail [at least 2 attacks]

2
src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-2-6.spdl --timer=60 --plain.time
View File

@ -1,2 +1,2 @@
Passed wall time in seconds:
60
39

2
src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-3-6-2.spdl --timer=60 --plain.time
View File

@ -1,2 +1,2 @@
Passed wall time in seconds:
9
6

2
src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-3-7-2.spdl --timer=60 --plain.time
View File

@ -1,2 +1,2 @@
Passed wall time in seconds:
7
5

2
src/regression-tests/results/test-gui-Protocols-andrew.spdl --timer=60 --plain.time
View File

@ -1,2 +1,2 @@
Passed wall time in seconds:
15
10

2
src/regression-tests/results/test-gui-Protocols-kaochow-v2.spdl --timer=60 --plain.time
View File

@ -1,2 +1,2 @@
Passed wall time in seconds:
5
3

2
src/regression-tests/results/test-gui-Protocols-kaochow.spdl --timer=60 --plain.time
View File

@ -1,2 +1,2 @@
Passed wall time in seconds:
2
1

2
src/regression-tests/results/test-gui-Protocols-needham-schroeder-lowe.spdl --timer=60 --plain.time
View File

@ -1,2 +1,2 @@
Passed wall time in seconds:
24
15

2
src/regression-tests/results/test-gui-Protocols-needham-schroeder-sk-amend.spdl --timer=60 --plain.time
View File

@ -1,2 +1,2 @@
Passed wall time in seconds:
2
1

2
src/regression-tests/results/test-gui-Protocols-needham-schroeder.spdl --timer=60 --plain.time
View File

@ -1,2 +1,2 @@
Passed wall time in seconds:
29
18

2
src/regression-tests/results/test-gui-Protocols-splice-as-hc.spdl --timer=60 --plain.time
View File

@ -1,2 +1,2 @@
Passed wall time in seconds:
6
4

2
src/regression-tests/results/test-gui-Protocols-splice-as.spdl --timer=60 --plain.time
View File

@ -1,2 +1,2 @@
Passed wall time in seconds:
6
4

2
src/regression-tests/results/test-gui-Protocols-woo-lam.spdl --timer=60 --plain.time
View File

@ -1,2 +1,2 @@
Passed wall time in seconds:
37
23