TestClashFreeSubst

14

tests

0

failures

2

ignored

9.940s

duration

100%

successful

Tests

Test Duration Result
testClash() 0.832s passed
testClashInSubstTerm() 0.809s passed
testMultiShareBound() 0.856s passed
testMultiSubst() 0.821s passed
testShare() 0.839s passed
testShareWary() 0.820s passed
testSubst() 0.841s passed
testSubstInSubstTerm() 0.821s passed
testSubstWary() 0.831s passed
testWary0() 0.822s passed
testWary1() 0.829s passed
testWary2() 0.819s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored