cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add default messages to assertion macros

Browse Source
This commit is contained in:
Kamil Śliwak
2021-10-04 12:05:00 +02:00
committed by chriseth
parent 1f087ce15c
commit 4fe6aa1328
4 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libsmtutil/Exceptions.h
+1 -1
View File
@@ -27,6 +27,6 @@ namespace solidity::smtutil
struct SMTLogicError: virtual util::Exception {};
#define smtAssert(CONDITION, DESCRIPTION) \
assertThrow(CONDITION, SMTLogicError, DESCRIPTION)
assertThrowWithDefaultDescription(CONDITION, SMTLogicError, DESCRIPTION, "SMT assertion failed")
}