cerc-io/solidity
16
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

Fix failing SMTChecker test on breaking

Browse Source
This commit is contained in:
hrkrshnn 2020-10-26 14:01:40 +01:00
parent 20f39ab6e9
commit 0e30fbbae1
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
test/libsolidity/smtCheckerTests/functions/functions_external_2.sol
View File

@ -17,4 +17,5 @@ contract C
}
}
// ----
// Warning 6328: (297-321): CHC: Assertion violation might happen here.
// Warning 4661: (297-321): BMC: Assertion violation happens here.