TestClashFreeSubst

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

tests
0

failures
2

ignored
20.156s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.730s passed
testClashInSubstTerm() 1.667s passed
testMultiShareBound() 1.724s passed
testMultiSubst() 1.652s passed
testShare() 1.681s passed
testShareWary() 1.647s passed
testSubst() 1.687s passed
testSubstInSubstTerm() 1.707s passed
testSubstWary() 1.666s passed
testWary0() 1.657s passed
testWary1() 1.686s passed
testWary2() 1.652s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

71022      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71022      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71022      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71022      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72730      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72730      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72730      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72730      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78414      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78414      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78414      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78414      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80101      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80101      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80101      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80101      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85711      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85711      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85711      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85711      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87386      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87386      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87386      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87386      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92894      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92894      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92894      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92894      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94575      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94575      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94575      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94575      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
116120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
121576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
121576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
121576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
121576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123238     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
123238     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
128719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
128719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
128719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
128719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
130365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
130365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
130365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
130365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
135894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
135894     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
135894     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
135910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
137536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
137536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
137536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
137536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
148265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
148265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
148265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
148265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
149938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
149938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
149938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
149938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
155427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
155427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
155427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
155427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
157078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
157078     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
157078     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
157078     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0