TestClashFreeSubst

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

tests
0

failures
2

ignored
20.300s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.675s passed
testClashInSubstTerm() 1.725s passed
testMultiShareBound() 1.711s passed
testMultiSubst() 1.841s passed
testShare() 1.601s passed
testShareWary() 1.719s passed
testSubst() 1.653s passed
testSubstInSubstTerm() 1.660s passed
testSubstWary() 1.636s passed
testWary0() 1.571s passed
testWary1() 1.798s passed
testWary2() 1.710s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

71036      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71036      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71037      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
71037      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72733      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72733      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72733      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72733      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78475      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78475      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78475      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78475      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80139      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80139      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80139      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80139      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85597      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85597      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85597      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85597      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87185      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87185      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87185      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87185      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92572      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92572      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92572      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92572      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94220      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94220      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94220      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94220      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99451      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99451      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99451      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99451      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
113835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
113835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
113835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
113835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
115524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
115540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
115540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
115540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
121026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
121026     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
121026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
121042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
122755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
122755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
122755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
122755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
128558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
128558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
128558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
128573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
130266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
130266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
130266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
130266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
135799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
135799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
135799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
135799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
137640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
137640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
137640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
137640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
148783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
148783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
148798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
148798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
150432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
150432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
150432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
150447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
156079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
156079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
156079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
156079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
157708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
157708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
157708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
157708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0