TestClashFreeSubst

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

tests
0

failures
2

ignored
12.204s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.023s passed
testClashInSubstTerm() 0.978s passed
testMultiShareBound() 1.103s passed
testMultiSubst() 0.998s passed
testShare() 1.019s passed
testShareWary() 0.998s passed
testSubst() 1.009s passed
testSubstInSubstTerm() 1.004s passed
testSubstWary() 1.040s passed
testWary0() 0.990s passed
testWary1() 1.026s passed
testWary2() 1.016s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

42720      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42720      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42736      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
42736      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43815      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43815      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43815      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43815      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47283      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47283      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47299      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
47299      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48295      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48295      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48295      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48295      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51718      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51718      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51718      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51718      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52740      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52740      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52740      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52740      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55976      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55976      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55976      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55976      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56969      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56969      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56969      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56969      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60177      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60177      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60177      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60177      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61164      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61164      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61164      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61164      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64435      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64435      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64435      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64435      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65454      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65454      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65454      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65470      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68794      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68794      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68794      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68795      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69797      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69797      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69797      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69797      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73021      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73021      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73021      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73021      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74000      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74000      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74000      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74000      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77221      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77221      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77221      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77221      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78214      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78214      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78214      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78214      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81472      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81472      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81472      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81472      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82457      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82457      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82457      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82457      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88860      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88860      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88875      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
88875      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89866      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89866      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89866      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89866      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93032      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93032      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93032      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93032      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94056      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94056      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94056      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94056      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0