Quiz #23: Can this assertion fail?
Answer to be posted in a couple of days
At one time I thought that swapping the assumptions regarding the inputs of a design with the assertions over the outputs was a good approach to handling complexity. Then I came across this example.
What do you think?