Skip to main content
Ethereum

Return to Answer

added 4 characters in body
Source Link
Badr Bellaj ♦
Badr Bellaj ♦
  • 18.8k
  • 4
  • 59
  • 75

Since soldity 0.4.16 there is a support for overflow checkingchecking:

From the documentation :

solc now include experimental support for automated overflow and assertion checking at compile-time using the SMT solver Z3

Since soldity 0.4.16 there is a support for overflow checking:

From the documentation :

solc now include experimental support for automated overflow and assertion checking at compile-time using the SMT solver Z3

Since soldity 0.4.16 there is a support for overflow checking:

From the documentation :

solc now include experimental support for automated overflow and assertion checking at compile-time using the SMT solver Z3

Source Link
Badr Bellaj ♦
Badr Bellaj ♦
  • 18.8k
  • 4
  • 59
  • 75

Since soldity 0.4.16 there is a support for overflow checking:

From the documentation :

solc now include experimental support for automated overflow and assertion checking at compile-time using the SMT solver Z3