TestClashFreeSubst

14

tests

0

failures

2

ignored

11.384s

duration

100%

successful

Tests

Test Duration Result
testClash() 0.963s passed
testClashInSubstTerm() 0.940s passed
testMultiShareBound() 1.007s passed
testMultiSubst() 0.952s passed
testShare() 0.954s passed
testShareWary() 0.923s passed
testSubst() 0.940s passed
testSubstInSubstTerm() 0.940s passed
testSubstWary() 0.950s passed
testWary0() 0.940s passed
testWary1() 0.935s passed
testWary2() 0.940s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored