TestClashFreeSubst

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

tests
0

failures
2

ignored
10.829s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.891s passed
testClashInSubstTerm() 0.839s passed
testMultiShareBound() 0.893s passed
testMultiSubst() 0.879s passed
testShare() 0.845s passed
testShareWary() 0.872s passed
testSubst() 1.256s passed
testSubstInSubstTerm() 0.880s passed
testSubstWary() 0.908s passed
testWary0() 0.869s passed
testWary1() 0.836s passed
testWary2() 0.860s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

38844      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38844      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38844      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38844      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39735      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39735      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39735      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39735      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42612      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42612      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42612      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42612      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43472      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43472      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43472      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43472      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46303      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46303      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46303      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46303      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47131      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47131      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47131      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47147      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
50166      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50166      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50166      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50166      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51417      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51417      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51417      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51417      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54528      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54528      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54528      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54528      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55388      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55388      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55388      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55388      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58139      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58139      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58139      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58139      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58968      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58968      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58968      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58968      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61704      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61704      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61704      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61704      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62564      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62564      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62564      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62564      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65284      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65284      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65284      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65284      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66113      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66113      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66113      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66113      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68881      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68881      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68881      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68881      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69740      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69740      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69740      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69740      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72539      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72539      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72539      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72539      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73415      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73415      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73415      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73415      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78904      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78919      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78919      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78919      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79779      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79779      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79779      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79779      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82655      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82655      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82655      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82655      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83562      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83562      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83562      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83562      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0