TestClashFreeSubst

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

tests
0

failures
2

ignored
11.972s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.045s passed
testClashInSubstTerm() 0.950s passed
testMultiShareBound() 1.106s passed
testMultiSubst() 0.968s passed
testShare() 1.008s passed
testShareWary() 0.974s passed
testSubst() 0.978s passed
testSubstInSubstTerm() 1.010s passed
testSubstWary() 0.976s passed
testWary0() 0.994s passed
testWary1() 0.998s passed
testWary2() 0.965s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

38649      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38649      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38650      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
38650      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39750      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39750      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39751      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
39751      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43237      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43247      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43248      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
43249      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44272      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44273      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44274      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
44274      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47555      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47556      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47556      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47557      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48560      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48560      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48560      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48560      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51830      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51830      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51830      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51830      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52806      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52806      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52806      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52806      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56164      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56164      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56164      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56164      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57155      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57155      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57156      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
57156      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60426      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60426      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60427      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
60427      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61420      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61421      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61421      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61422      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64656      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64656      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64656      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64656      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65618      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65618      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65618      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65618      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68686      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68686      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68687      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
68687      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69632      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69632      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69632      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69633      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72688      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72688      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72688      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72688      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73657      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
73657      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73657      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73657      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76781      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
76781      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76781      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76781      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77746      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77746      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77746      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77747      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
83957      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83957      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83958      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
83958      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84964      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84964      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84964      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84964      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87987      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87987      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87988      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
87988      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88961      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88961      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88962      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
88962      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0