TestClashFreeSubst

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

tests
0

failures
2

ignored
13.392s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.175s passed
testClashInSubstTerm() 1.037s passed
testMultiShareBound() 1.198s passed
testMultiSubst() 1.104s passed
testShare() 1.105s passed
testShareWary() 1.229s passed
testSubst() 1.167s passed
testSubstInSubstTerm() 1.096s passed
testSubstWary() 1.085s passed
testWary0() 1.087s passed
testWary1() 1.041s passed
testWary2() 1.068s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

48378      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48378      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48378      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48378      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49567      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49567      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49567      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49567      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53444      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53444      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53459      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
53459      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54616      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54616      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54616      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54616      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58229      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58229      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58229      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58229      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59327      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59327      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59327      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59327      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62971      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62971      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62971      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62971      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64128      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64128      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64128      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64128      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67834      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67834      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67834      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67834      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68912      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68912      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68912      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68912      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72414      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72414      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72414      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72414      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73446      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73446      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73446      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73446      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76980      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76980      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76980      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76980      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78043      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
78043      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78043      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78043      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81606      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81606      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81606      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81606      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82638      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82638      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82638      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82638      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86046      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86046      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86046      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86046      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87267      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87267      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87267      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87267      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91035      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91035      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91035      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91035      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92130      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
92130      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92130      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92130      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99291      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99291      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99291      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99291      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
103823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104902     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104902     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0