|
|
|
|
|
|
by AnimalMuppet
479 days ago
|
|
|
And unexpected input from other systems. And if it was unexpected in a way that wasn't covered by your proof, then your program is not guaranteed to work correctly on that input. And the real world has a lot of ways for input to do unexpected things... |
|
|