From b43e9f27f8bf9bf484451195dff19366313ee723 Mon Sep 17 00:00:00 2001 From: chriseth Date: Thu, 27 Sep 2018 14:55:05 +0200 Subject: Pitfalls regarding over/underflows --- docs/layout-of-source-files.rst | 2 ++ 1 file changed, 2 insertions(+) (limited to 'docs/layout-of-source-files.rst') 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 ~~~~~~~~~~ -- cgit