TestClashFreeSubst

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

tests
0

failures
2

ignored
12.556s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.054s passed
testClashInSubstTerm() 1.022s passed
testMultiShareBound() 1.156s passed
testMultiSubst() 1.020s passed
testShare() 1.049s passed
testShareWary() 1.009s passed
testSubst() 1.060s passed
testSubstInSubstTerm() 1.174s passed
testSubstWary() 0.973s passed
testWary0() 1.037s passed
testWary1() 1.018s passed
testWary2() 0.983s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

45731      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45731      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45731      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45731      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46876      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46876      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46876      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46876      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50460      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50460      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50460      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50460      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51507      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51507      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51507      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51507      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55036      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55036      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55036      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55036      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56081      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56081      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56081      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56081      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59473      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59473      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59473      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59473      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60526      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60526      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60526      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60526      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63920      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63920      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63920      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63920      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64945      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64945      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64945      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64945      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68165      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68165      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68165      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68165      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69181      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69181      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69181      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69181      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72456      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72456      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72456      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72456      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73429      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73429      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73429      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73429      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76634      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76634      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76634      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76634      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77639      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77639      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77639      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77639      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81003      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81003      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81003      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81003      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82011      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82011      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82011      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82011      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85317      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85317      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85317      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85317      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86334      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86334      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86334      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86334      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92636      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92636      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92651      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
92651      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93808      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93808      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93808      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93808      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96964      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96964      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96964      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96964      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97934      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97934      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97934      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97934      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0