TestClashFreeSubst

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

tests
0

failures
2

ignored
10.176s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.866s passed
testClashInSubstTerm() 0.845s passed
testMultiShareBound() 0.869s passed
testMultiSubst() 0.852s passed
testShare() 0.828s passed
testShareWary() 0.848s passed
testSubst() 0.858s passed
testSubstInSubstTerm() 0.866s passed
testSubstWary() 0.820s passed
testWary0() 0.834s passed
testWary1() 0.829s passed
testWary2() 0.861s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36380      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36380      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
36380      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36380      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
37256      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37256      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
37256      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37256      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40071      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40071      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40071      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40071      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40930      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40930      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40930      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40930      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43667      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43667      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43667      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43667      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44496      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44496      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44496      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44496      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47247      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47247      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47247      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47247      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48107      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48107      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48107      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48107      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50857      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50857      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50857      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50857      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51686      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51686      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51686      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51686      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54406      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54406      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54406      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54406      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55235      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55235      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55235      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55235      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57940      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57955      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57955      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57955      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58800      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58800      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58800      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58800      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61489      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61489      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61489      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61489      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62333      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62333      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62333      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62333      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65022      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65022      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65022      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65022      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65866      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65866      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65866      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65866      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68572      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68572      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68572      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68572      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69416      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69416      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69416      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69416      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74857      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74857      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74857      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74873      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75717      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75717      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75717      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75717      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78407      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78407      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78407      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78407      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79235      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79235      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79235      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79235      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0