TestClashFreeSubst

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

tests
0

failures
2

ignored
13.664s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.053s passed
testClashInSubstTerm() 1.435s passed
testMultiShareBound() 1.134s passed
testMultiSubst() 1.079s passed
testShare() 1.028s passed
testShareWary() 1.416s passed
testSubst() 1.108s passed
testSubstInSubstTerm() 1.078s passed
testSubstWary() 1.137s passed
testWary0() 1.089s passed
testWary1() 1.059s passed
testWary2() 1.048s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

43504      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43504      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43504      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43504      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44630      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44630      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44630      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44630      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48117      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48117      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48117      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48117      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49164      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49164      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49164      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49164      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52510      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52510      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52510      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52510      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53526      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53526      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53526      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53526      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57028      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57028      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57028      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57028      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58123      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58123      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58123      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58123      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61704      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61704      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61704      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61704      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62782      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62782      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62782      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62782      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66160      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66175      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66175      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66175      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67222      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67222      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67222      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67222      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70631      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70631      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70631      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70631      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71679      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71679      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71679      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71679      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77259      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77259      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77259      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77259      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78697      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78697      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78697      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78697      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82356      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82356      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82356      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82356      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83733      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83733      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83733      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83733      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87283      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87283      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87283      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87283      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88362      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88362      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88362      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88362      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95101      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95101      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95101      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95101      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96164      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96164      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96180      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
96180      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0