TestClashFreeSubst

14

tests

0

failures

2

ignored

11.629s

duration

100%

successful

Tests

Test Duration Result
testClash() 1.011s passed
testClashInSubstTerm() 0.942s passed
testMultiShareBound() 1.062s passed
testMultiSubst() 0.943s passed
testShare() 0.991s passed
testShareWary() 0.936s passed
testSubst() 0.937s passed
testSubstInSubstTerm() 0.944s passed
testSubstWary() 0.924s passed
testWary0() 0.982s passed
testWary1() 0.968s passed
testWary2() 0.988s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored