Would this be an example of a bug that could have been detected with contract-style testing? https://martinfowler.com/bliki/ContractTest.html https://martinfow

Would this be an example of a bug that could have been detected with contract-style testing? https://martinfowler.com/bliki/ContractTest.html https://martinfowler.com/bliki/ContractTest.html