TestClashFreeSubst

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

tests
0

failures
2

ignored
13.231s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.109s passed
testClashInSubstTerm() 1.056s passed
testMultiShareBound() 1.166s passed
testMultiSubst() 1.242s passed
testShare() 1.080s passed
testShareWary() 1.071s passed
testSubst() 1.092s passed
testSubstInSubstTerm() 1.080s passed
testSubstWary() 1.095s passed
testWary0() 1.119s passed
testWary1() 1.070s passed
testWary2() 1.051s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

46648      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46648      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46648      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46648      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47802      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47802      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47802      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47802      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51644      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51644      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51644      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51644      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52742      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52742      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52742      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52742      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56492      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56492      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56492      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56492      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57554      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57554      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57554      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57554      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61127      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61127      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61127      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61127      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62205      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62205      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62205      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62205      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65745      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65745      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65745      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65745      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66846      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66846      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66846      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66846      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70348      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70348      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70348      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70348      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71406      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71406      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71406      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71406      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74881      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74881      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74881      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74881      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75923      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75923      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75923      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75923      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79412      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79412      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79412      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79412      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80460      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80460      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80460      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80460      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83931      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83931      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83931      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83931      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84995      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84995      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84995      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84995      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88452      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88452      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88452      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88452      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89672      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89672      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89672      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89672      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96602      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96602      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96602      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96602      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97677      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97677      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97677      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97677      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0