mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
Fix list indentation
This commit is contained in:
@@ -399,6 +399,7 @@ Currently, Solidity automatically generates a runtime exception in the following
|
||||
#. If you call ``assert`` with an argument that evaluates to false.
|
||||
|
||||
While a user-provided exception is generated in the following situations:
|
||||
|
||||
#. Calling ``throw``.
|
||||
#. Calling ``require`` with an argument that evaluates to ``false``.
|
||||
|
||||
@@ -411,4 +412,4 @@ did not occur. Because we want to retain the atomicity of transactions, the safe
|
||||
|
||||
If contracts are written so that ``assert`` is only used to test internal conditions and ``require``
|
||||
is used in case of malformed input, a formal analysis tool that verifies that the invalid
|
||||
opcode can never be reached can be used to check for the absence of errors assuming valid inputs.
|
||||
opcode can never be reached can be used to check for the absence of errors assuming valid inputs.
|
||||
|
||||
Reference in New Issue
Block a user