TestClashFreeSubst

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

tests
0

failures
2

ignored
12.740s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.067s passed
testClashInSubstTerm() 1.055s passed
testMultiShareBound() 1.188s passed
testMultiSubst() 1.010s passed
testShare() 1.131s passed
testShareWary() 1.034s passed
testSubst() 1.025s passed
testSubstInSubstTerm() 0.990s passed
testSubstWary() 1.015s passed
testWary0() 1.071s passed
testWary1() 1.076s passed
testWary2() 1.077s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

44181      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44181      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44181      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44181      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45369      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45369      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45369      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45369      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48968      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48968      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48983      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
48983      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50041      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50041      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50041      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50041      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53578      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53578      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53578      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53578      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54711      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54711      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54711      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54711      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58132      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58132      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58132      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58132      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59151      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59151      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59167      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
59167      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62582      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62582      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62582      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62582      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63636      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63636      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63652      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
63652      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67120      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67120      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67120      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67120      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68193      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68193      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68193      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68193      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71572      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71572      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71572      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71573      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72639      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72639      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72639      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72639      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76127      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76127      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76127      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76127      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77168      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77168      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77168      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77168      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80642      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80642      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80642      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80642      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81671      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81671      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81671      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81671      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85087      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85087      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85087      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85087      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86083      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86083      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86083      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86083      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92778      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92778      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92778      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92778      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93762      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93762      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93762      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93762      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97214      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97214      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97214      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97214      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98226      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
98226      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98226      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98226      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0