This might not be quite the same, but logic systems -- we might have a logic expression on a hundred variables, and need to check if it is true. While one woul

This might not be quite the same, but logic systems -- we might have a logic expression on a hundred variables, and need to check if it is true. While one would unit test with tiny expressions, often bugs only show up in large integration tests, as systems use many optimisations to cache and speed up behaviour, which can interact poorly