TestClashFreeSubst

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

tests
0

failures
2

ignored
11.573s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.943s passed
testClashInSubstTerm() 0.980s passed
testMultiShareBound() 1.069s passed
testMultiSubst() 0.943s passed
testShare() 0.973s passed
testShareWary() 0.976s passed
testSubst() 0.962s passed
testSubstInSubstTerm() 0.958s passed
testSubstWary() 0.923s passed
testWary0() 0.963s passed
testWary1() 0.939s passed
testWary2() 0.944s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

37921      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37922      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
37922      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37923      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38985      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38985      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38985      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38985      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42129      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42129      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42129      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42129      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43066      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43066      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43067      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
43067      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46188      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46188      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46188      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46188      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47158      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47158      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47158      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47159      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
50303      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
50303      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50304      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
50304      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51258      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51261      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51262      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
51263      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54394      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54394      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54395      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
54395      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55352      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55353      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55353      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55353      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58467      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58467      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58467      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58467      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59403      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59403      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59404      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
59404      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62492      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62492      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62493      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
62493      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63433      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63433      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63434      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
63434      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66525      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66525      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66525      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66526      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67501      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67501      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67501      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67501      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70608      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70608      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70609      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
70609      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71580      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
71581      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71581      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71582      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74680      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74680      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74681      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
74681      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75617      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75618      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75619      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
75620      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81759      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81759      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81760      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
81760      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82704      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82705      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82713      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 8 ms 
82713      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85851      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85851      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85852      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
85852      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86772      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86772      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86773      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
86773      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0