TestClashFreeSubst

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

tests
0

failures
2

ignored
15.667s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.310s passed
testClashInSubstTerm() 1.288s passed
testMultiShareBound() 1.328s passed
testMultiSubst() 1.281s passed
testShare() 1.331s passed
testShareWary() 1.271s passed
testSubst() 1.302s passed
testSubstInSubstTerm() 1.305s passed
testSubstWary() 1.395s passed
testWary0() 1.283s passed
testWary1() 1.293s passed
testWary2() 1.280s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

53887      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53887      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53887      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53887      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55191      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55191      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55207      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
55207      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59518      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59518      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59518      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59518      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60815      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60815      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60815      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60815      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65078      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65078      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65078      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65078      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66390      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66390      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66406      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
66406      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70616      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70616      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70616      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70616      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71927      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71927      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71927      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71927      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76088      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76088      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76088      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76103      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77370      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77370      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77370      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77370      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81578      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81578      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81578      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81578      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82866      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82866      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82866      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82866      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87120      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87120      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87120      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87120      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88392      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88392      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88392      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88392      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 
93842      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93842      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93842      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93842      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98042      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98042      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98042      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98042      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99308      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99308      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99308      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99308      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
103545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
113205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
113205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
113205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
113205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
120049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
120049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
120049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
120049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0