diff options
| author | chriseth <chris@ethereum.org> | 2018-09-27 20:55:05 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2018-09-27 20:55:05 +0800 |
| commit | b43e9f27f8bf9bf484451195dff19366313ee723 (patch) | |
| tree | b9d25e0bf0e8ba82d8c6bc5322a10b5cb7713dcb /docs/layout-of-source-files.rst | |
| parent | dd3459d76fb594b1df160e7a87ab0a181cd297c6 (diff) | |
| download | dexon-solidity-b43e9f27f8bf9bf484451195dff19366313ee723.tar.gz dexon-solidity-b43e9f27f8bf9bf484451195dff19366313ee723.tar.zst dexon-solidity-b43e9f27f8bf9bf484451195dff19366313ee723.zip | |
Pitfalls regarding over/underflows
Diffstat (limited to 'docs/layout-of-source-files.rst')
| -rw-r--r-- | docs/layout-of-source-files.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/layout-of-source-files.rst b/docs/layout-of-source-files.rst index d89ecded..fb18f8a9 100644 --- a/docs/layout-of-source-files.rst +++ b/docs/layout-of-source-files.rst @@ -77,6 +77,8 @@ for this part of the code is still under development) and has not received as much testing as the old encoder. You can activate it using ``pragma experimental ABIEncoderV2;``. +.. _smt_checker: + SMTChecker ~~~~~~~~~~ |