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

Merge pull request #10112 from ethereum/fix-smt-test

Browse Source 
[BREAKING] Fix smt test
This commit is contained in:
Leonardo 2020-10-26 13:47:29 +00:00 committed by GitHub
commit b605ca50c8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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.