TestClashFreeSubst

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

tests
0

failures
2

ignored
12.253s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.042s passed
testClashInSubstTerm() 1.032s passed
testMultiShareBound() 1.060s passed
testMultiSubst() 0.996s passed
testShare() 1.036s passed
testShareWary() 0.990s passed
testSubst() 1.021s passed
testSubstInSubstTerm() 1.004s passed
testSubstWary() 1.007s passed
testWary0() 1.013s passed
testWary1() 1.014s passed
testWary2() 1.038s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

41518      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41518      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41518      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41518      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42570      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42570      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42571      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
42571      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46110      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46110      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46112      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
46112      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47144      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47144      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47145      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
47146      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50564      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50564      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50565      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
50565      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51595      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51595      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51595      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51596      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55100      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55101      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55101      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55104      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56117      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56117      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56118      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
56118      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59486      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59486      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59486      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59487      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60494      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60495      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60495      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60495      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63922      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63922      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63923      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
63923      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64934      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64934      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64934      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64934      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68247      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68248      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68248      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68248      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69280      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69281      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69281      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69282      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72566      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72566      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72566      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72566      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73585      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73586      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73586      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73586      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76894      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76895      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76896      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
76896      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77879      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77880      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77881      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
77881      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81141      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
81141      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81141      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81141      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82134      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82134      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82134      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82134      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88710      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88710      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88711      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
88711      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89712      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
89712      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89712      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89712      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93018      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93019      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93019      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93019      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94022      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
94022      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94022      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94022      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0