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
33e7fc1cba
solidity/test/libsolidity/smtCheckerTests
History
Daniel 9804085934
Merge pull request #14216 from ethereum/fix_bmc_side_effects_in_statement 
Fix encoding of side-effects inside if and ternary in BMC
2023-05-15 13:34:22 +02:00
..
abi Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
array_members Remove EWASM backend. 2023-05-11 10:56:55 -05:00
blockchain_state Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
bmc_coverage Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
complex Remove EWASM backend. 2023-05-11 10:56:55 -05:00
control_flow Fix encoding of side-effects inside if and conditional statements in the BMC engine 2023-05-11 16:44:09 +02:00
crypto Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
deployment update smtchecker tests 2023-03-28 18:23:54 +02:00
external_calls update smtchecker tests 2023-03-28 18:23:54 +02:00
file_level Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
function_selector Remove EWASM backend. 2023-05-11 10:56:55 -05:00
functions Remove EWASM backend. 2023-05-11 10:56:55 -05:00
imports Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
inheritance Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
inline_assembly Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
invariants Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
loops Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
math Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
modifiers Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
natspec Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
operators Remove EWASM backend. 2023-05-11 10:56:55 -05:00
options Add new tests 2021-04-08 21:03:38 +02:00
out_of_bounds Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
overflow Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
simple Trivial isoltest updates: missing // ---- at the end 2021-04-20 17:38:29 +02:00
special Remove EWASM backend. 2023-05-11 10:56:55 -05:00
try_catch Remove EWASM backend. 2023-05-11 10:56:55 -05:00
typecast group unsupported warnings 2023-03-15 17:06:06 +01:00
types Remove EWASM backend. 2023-05-11 10:56:55 -05:00
unchecked Remove EWASM backend. 2023-05-11 10:56:55 -05:00
unsupported group unsupported warnings 2023-03-15 17:06:06 +01:00
userTypes Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
verification_target Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00