TestClashFreeSubst

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

tests
0

failures
2

ignored
11.378s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.984s passed
testClashInSubstTerm() 0.945s passed
testMultiShareBound() 0.979s passed
testMultiSubst() 0.929s passed
testShare() 0.986s passed
testShareWary() 0.902s passed
testSubst() 0.980s passed
testSubstInSubstTerm() 0.935s passed
testSubstWary() 0.965s passed
testWary0() 0.947s passed
testWary1() 0.898s passed
testWary2() 0.928s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

38352      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38352      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38353      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
38353      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39327      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39327      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39328      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
39328      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42558      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42566      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42567      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
42568      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43535      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43536      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43537      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
43537      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46736      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46737      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46737      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46738      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47714      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47715      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47716      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
47716      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50849      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50849      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50850      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
50850      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51827      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
51827      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51827      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51827      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54930      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54931      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54932      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
54932      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55872      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
55873      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55873      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
55874      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58989      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58990      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58990      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58991      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59883      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59883      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59884      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
59884      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62869      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62870      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62871      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
62871      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63793      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63793      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63794      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
63794      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66861      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66862      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66863      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
66863      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67801      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67802      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67802      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67803      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
70820      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70820      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70820      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70820      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71720      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
71720      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71720      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71720      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74709      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74709      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74709      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74709      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75635      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75635      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75635      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75635      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81722      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81722      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81723      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
81723      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82653      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82654      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82654      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82654      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85642      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85642      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85642      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85646      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
86599      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86600      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86600      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86600      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0