TestClashFreeSubst

14

tests

0

failures

2

ignored

10.445s

duration

100%

successful

Tests

Test Duration Result
testClash() 0.911s passed
testClashInSubstTerm() 0.854s passed
testMultiShareBound() 0.923s passed
testMultiSubst() 0.847s passed
testShare() 0.874s passed
testShareWary() 0.872s passed
testSubst() 0.872s passed
testSubstInSubstTerm() 0.834s passed
testSubstWary() 0.885s passed
testWary0() 0.835s passed
testWary1() 0.863s passed
testWary2() 0.875s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36958      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36958      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37877      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37877      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40922      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40922      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41823      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41823      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44683      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44683      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45558      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45558      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48383      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48383      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49259      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49259      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52039      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52039      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52867      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52867      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55686      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55687      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56541      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56541      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59323      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59323      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60178      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60178      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62957      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62957      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63809      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63809      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66576      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66576      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67441      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67441      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70209      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70209      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71056      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71056      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76578      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76578      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77406      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77406      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80174      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80174      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81050      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81050      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms