TestClashFreeSubst

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

tests
0

failures
2

ignored
16.143s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.369s passed
testClashInSubstTerm() 1.325s passed
testMultiShareBound() 1.413s passed
testMultiSubst() 1.337s passed
testShare() 1.325s passed
testShareWary() 1.317s passed
testSubst() 1.340s passed
testSubstInSubstTerm() 1.364s passed
testSubstWary() 1.327s passed
testWary0() 1.337s passed
testWary1() 1.339s passed
testWary2() 1.350s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

55923      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55923      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55923      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55923      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57325      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57325      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57325      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57325      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61798      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61798      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61813      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
61813      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63161      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63161      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63161      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63161      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67595      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67595      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67595      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67595      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68903      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68903      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68903      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68903      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73309      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73309      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73309      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73309      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74652      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74652      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74652      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74652      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79044      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79044      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79044      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79044      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80372      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80372      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80372      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80372      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84741      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84741      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84741      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84741      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86073      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86073      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86073      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86073      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90429      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90445      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90445      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90445      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91789      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
91789      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91789      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91789      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96112      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96112      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96112      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96112      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97431      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97431      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97431      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97431      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
103128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
117380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
117380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
117380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
117380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
123047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
124358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
124358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
124358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
124358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0