5 ms·

Good old February 31.

• mamcx 7y ago
  Nothing like a bug behind a safety feature :)
  • elgenie 7y ago
    That’s … not a bug. A buggy assertion would be one that fires when the input is correct. Assertions aren’t formal verifiers or replacements for a test suite.
  • squarefoot 7y ago
    Obligatory reference:) https://www.youtube.com/watch?v=sVyRkl5qNb8 https://www.youtube.com/watch?v=sVyRkl5qNb8
• masonic 7y ago
  And year 0.
  • mamcx 7y ago
    I think that is why making the contract visible in the docs/intellisense or similar is valuable: You will understand more about the expectations of the code. Even if are incomplete or partial...