TestClashFreeSubst

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

tests
0

failures
2

ignored
11.049s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.946s passed
testClashInSubstTerm() 0.902s passed
testMultiShareBound() 0.936s passed
testMultiSubst() 0.913s passed
testShare() 0.941s passed
testShareWary() 0.911s passed
testSubst() 0.935s passed
testSubstInSubstTerm() 0.918s passed
testSubstWary() 0.878s passed
testWary0() 0.938s passed
testWary1() 0.920s passed
testWary2() 0.911s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

35450      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35450      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
35451      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
35451      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
36380      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36380      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
36381      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
36381      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39380      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
39380      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39381      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
39381      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40318      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40319      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40319      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
40319      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43352      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43356      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43360      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 4 ms 
43361      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44290      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44290      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44291      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
44291      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47244      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47244      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47244      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47245      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48175      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48175      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48175      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48176      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51147      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51147      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51147      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51147      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52080      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52081      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52082      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
52082      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55037      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
55037      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55037      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55037      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55944      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55945      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55945      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55946      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58888      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58888      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58888      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58888      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59796      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59796      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59796      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59797      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
62722      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62724      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62724      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62725      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63621      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63621      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63621      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63621      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66543      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66544      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66544      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66545      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67450      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67451      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67451      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67452      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70391      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70392      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70392      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70393      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71301      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71301      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71302      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
71302      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77134      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77136      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77137      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
77138      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78047      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78047      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78048      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
78048      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80956      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80956      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80957      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
80957      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81831      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81831      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81831      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81832      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0