TestClashFreeSubst

14

tests

0

failures

2

ignored

9.153s

duration

100%

successful

Tests

Test Duration Result
testClash() 0.757s passed
testClashInSubstTerm() 0.753s passed
testMultiShareBound() 0.802s passed
testMultiSubst() 0.756s passed
testShare() 0.777s passed
testShareWary() 0.772s passed
testSubst() 0.764s passed
testSubstInSubstTerm() 0.752s passed
testSubstWary() 0.742s passed
testWary0() 0.757s passed
testWary1() 0.762s passed
testWary2() 0.758s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored