There should have been a test case for this. There wasn't because most shops don't actually test their product. They do some test theater such as unit testing.