TestClashFreeSubst

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

tests
0

failures
2

ignored
12.482s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.020s passed
testClashInSubstTerm() 1.013s passed
testMultiShareBound() 1.210s passed
testMultiSubst() 1.007s passed
testShare() 1.064s passed
testShareWary() 1.015s passed
testSubst() 1.083s passed
testSubstInSubstTerm() 1.021s passed
testSubstWary() 1.009s passed
testWary0() 1.037s passed
testWary1() 1.000s passed
testWary2() 1.003s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

40560      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40561      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40562      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
40562      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41764      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
41765      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41765      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41765      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45153      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45154      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45154      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45155      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46166      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46167      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46167      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46168      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49617      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49618      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49618      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49619      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50676      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50677      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50677      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50678      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
54078      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54078      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54079      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
54079      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55156      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
55157      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55157      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
55158      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58678      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58679      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58679      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58680      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59705      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59709      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59710      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
59711      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63100      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
63100      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63100      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63100      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64096      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64096      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64096      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64097      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67508      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67509      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67509      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67510      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68506      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68506      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68507      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
68507      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71817      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
71817      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71817      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71817      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72827      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72827      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72827      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72827      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76155      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76156      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76156      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76157      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77165      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77166      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77166      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77167      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80491      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80491      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80492      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
80492      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81496      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81496      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81496      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81496      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88139      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88150      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88150      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88151      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89147      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89148      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89148      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89149      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92430      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92430      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92431      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
92431      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93434      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93435      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93436      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
93436      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0