TestClashFreeSubst

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

tests
0

failures
2

ignored
12.393s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.021s passed
testClashInSubstTerm() 1.019s passed
testMultiShareBound() 1.054s passed
testMultiSubst() 1.008s passed
testShare() 1.115s passed
testShareWary() 0.982s passed
testSubst() 1.021s passed
testSubstInSubstTerm() 1.019s passed
testSubstWary() 1.029s passed
testWary0() 1.077s passed
testWary1() 1.029s passed
testWary2() 1.019s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

41046      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41046      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41047      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
41047      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42096      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42096      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42096      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42096      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45485      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45485      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45486      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
45486      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46502      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
46502      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46502      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46502      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49792      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49792      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49793      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
49793      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50900      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50901      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50902      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
50902      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54281      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54282      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54282      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54283      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55297      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
55297      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55298      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
55299      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58640      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58640      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58645      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 5 ms 
58646      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59706      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59706      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59706      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59706      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62997      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
62997      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62998      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
62998      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64019      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64020      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64021      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
64021      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67308      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67308      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67308      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67308      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68324      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68324      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68324      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68324      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71702      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71702      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71702      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71702      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72716      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72717      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72718      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
72719      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
76003      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76004      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76004      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76005      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76971      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76972      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76973      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
76973      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80309      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80309      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80310      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
80310      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81313      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81314      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81314      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81314      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87804      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
87804      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87804      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87804      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88820      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88820      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88821      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
88821      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92204      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92204      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92205      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
92205      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93227      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93228      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93229      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
93229      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0