TestClashFreeSubst

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

tests
0

failures
2

ignored
10.472s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.889s passed
testClashInSubstTerm() 0.851s passed
testMultiShareBound() 0.898s passed
testMultiSubst() 0.855s passed
testShare() 0.843s passed
testShareWary() 0.870s passed
testSubst() 0.868s passed
testSubstInSubstTerm() 0.913s passed
testSubstWary() 0.923s passed
testWary0() 0.859s passed
testWary1() 0.841s passed
testWary2() 0.862s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

39345      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39345      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39345      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39345      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40241      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40241      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40241      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40241      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43104      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43104      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43104      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43104      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43992      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43992      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43992      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43992      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46838      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
46838      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46838      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46838      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47669      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47669      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47669      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47669      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50474      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50474      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50474      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50474      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51338      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51338      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51338      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51338      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54089      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54089      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54089      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54089      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54935      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54935      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54935      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54935      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57683      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57683      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57683      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57683      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58515      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58515      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58515      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58515      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61285      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61285      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61285      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61285      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62133      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62133      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62133      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62133      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64923      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64923      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64923      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64923      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65767      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65767      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65767      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65767      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68518      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68518      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68518      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68518      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69384      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69384      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69384      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69384      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72185      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72185      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72185      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72185      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73032      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73032      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73032      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73032      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78495      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78495      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78495      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78495      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79406      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79406      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79406      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79406      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82610      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82610      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82610      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82610      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83536      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83536      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83536      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83536      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0