TestClashFreeSubst

all > de.uka.ilkd.key.logic > TestClashFreeSubst
14

tests
0

failures
2

ignored
11.771s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.985s passed
testClashInSubstTerm() 0.963s passed
testMultiShareBound() 1.037s passed
testMultiSubst() 0.966s passed
testShare() 1.015s passed
testShareWary() 0.955s passed
testSubst() 0.991s passed
testSubstInSubstTerm() 0.931s passed
testSubstWary() 0.996s passed
testWary0() 0.967s passed
testWary1() 1.011s passed
testWary2() 0.954s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

38185      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38186      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38186      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38187      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39218      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39218      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39218      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39218      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42688      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42689      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42689      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42689      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43665      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43665      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43666      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
43666      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47040      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47041      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47041      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47041      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48051      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48052      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48053      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
48053      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51226      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51227      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51228      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
51228      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52213      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52214      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52214      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52215      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55337      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
55337      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55338      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
55338      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56294      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56299      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56299      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56300      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59531      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59532      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59533      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
59533      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60535      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60535      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60536      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
60536      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63642      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
63642      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63643      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
63643      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64590      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64591      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64591      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64592      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67710      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67710      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67711      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
67712      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68667      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68668      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68669      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
68669      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71908      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71909      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71909      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71910      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72858      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72859      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72860      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
72860      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75991      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75991      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75992      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
75992      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76951      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
76952      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76952      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76954      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
83238      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83239      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83239      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83239      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84166      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84167      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84167      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84167      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87303      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87303      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87303      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87303      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88296      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88296      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88296      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88296      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0