So you don't test for it because your code doesn't use it. Which is fine, but says nothing about code which does depend on the relevant assumptions.