diff options
| author | chriseth <chris@ethereum.org> | 2016-09-12 19:41:38 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-12 19:41:38 +0800 |
| commit | 149dba9ba28fef5faaa1257de4c4542741a2d2b2 (patch) | |
| tree | 4cb0333ed225792929875ab00c935cf71b202ee7 /libdevcore/Assertions.h | |
| parent | 51a98ab84a59fd5fb34378763fd9ed635cf06d8d (diff) | |
| parent | 4337e70cca58c02de15af258a0efc29062aa0a36 (diff) | |
| download | dexon-solidity-149dba9ba28fef5faaa1257de4c4542741a2d2b2.tar dexon-solidity-149dba9ba28fef5faaa1257de4c4542741a2d2b2.tar.gz dexon-solidity-149dba9ba28fef5faaa1257de4c4542741a2d2b2.tar.bz2 dexon-solidity-149dba9ba28fef5faaa1257de4c4542741a2d2b2.tar.lz dexon-solidity-149dba9ba28fef5faaa1257de4c4542741a2d2b2.tar.xz dexon-solidity-149dba9ba28fef5faaa1257de4c4542741a2d2b2.tar.zst dexon-solidity-149dba9ba28fef5faaa1257de4c4542741a2d2b2.zip | |
Merge pull request #1045 from pirapira/formal_type_of_mapping
formal verification: Why3 translation of mapping types
Diffstat (limited to 'libdevcore/Assertions.h')
| -rw-r--r-- | libdevcore/Assertions.h | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/libdevcore/Assertions.h b/libdevcore/Assertions.h index 7b4a4a76..05e0b0e5 100644 --- a/libdevcore/Assertions.h +++ b/libdevcore/Assertions.h @@ -73,7 +73,7 @@ inline bool assertEqualAux(A const& _a, B const& _b, char const* _aStr, char con /// Use it as assertThrow(1 == 1, ExceptionType, "Mathematics is wrong."); /// Do NOT supply an exception object as the second parameter. #define assertThrow(_condition, _ExceptionType, _description) \ - ::dev::assertThrowAux<_ExceptionType>(_condition, _description, __LINE__, __FILE__, ETH_FUNC) + ::dev::assertThrowAux<_ExceptionType>(!!(_condition), _description, __LINE__, __FILE__, ETH_FUNC) using errinfo_comment = boost::error_info<struct tag_comment, std::string>; @@ -96,16 +96,4 @@ inline void assertThrowAux( ); } -template <class _ExceptionType> -inline void assertThrowAux( - void const* _pointer, - ::std::string const& _errorDescription, - unsigned _line, - char const* _file, - char const* _function -) -{ - assertThrowAux<_ExceptionType>(_pointer != nullptr, _errorDescription, _line, _file, _function); -} - } |