TestClashFreeSubst

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

tests
0

failures
2

ignored
15.895s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.342s passed
testClashInSubstTerm() 1.311s passed
testMultiShareBound() 1.366s passed
testMultiSubst() 1.289s passed
testShare() 1.301s passed
testShareWary() 1.302s passed
testSubst() 1.300s passed
testSubstInSubstTerm() 1.474s passed
testSubstWary() 1.289s passed
testWary0() 1.321s passed
testWary1() 1.302s passed
testWary2() 1.298s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

54569      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54569      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54569      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54569      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55937      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55937      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55937      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55937      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60352      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60352      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60352      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60352      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61685      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61685      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61685      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61685      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65990      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65990      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65990      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65990      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67272      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67272      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67272      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67272      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71527      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71527      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71527      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71527      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72822      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72822      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72822      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72822      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77089      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77089      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77089      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77089      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78409      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
78409      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78409      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78410      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
82634      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82634      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82634      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82634      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83943      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83943      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83943      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83943      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88173      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88173      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88173      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88173      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89471      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89471      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89471      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89471      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93711      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93711      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93711      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93711      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95016      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95016      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95016      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95016      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99211      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99211      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99211      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99211      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104735     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104735     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104735     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104735     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
115922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
115922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
115922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
115922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
120137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
120137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
120137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
120137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
121430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
121430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
121430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
121430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0