Martin Blicha 18214d1ccc [SMTChecker] Reset checked/unchecked flag to the default value when inlining function in BMC

2021-01-15 15:36:26 +01:00

..

block_inside_unchecked.sol

[SMTChecker] Support check/unchecked

2020-12-30 12:14:30 +01:00

check_var_init.sol

[SMTChecker] Synthesize untrusted functions called externally

2021-01-15 11:56:26 +01:00

checked_called_by_unchecked.sol

Add contract name to called function in cex

2021-01-04 10:03:16 +01:00

checked_modifier_called_by_unchecked.sol

Add contract name to called function in cex

2021-01-04 10:03:16 +01:00

flipping_sign_tests.sol

Remove extra line breaks

2021-01-12 14:00:07 +01:00

inc_dec.sol

[SMTChecker] Support check/unchecked

2020-12-30 12:14:30 +01:00

signed_mod.sol

Add contract name to called function in cex

2021-01-04 10:03:16 +01:00

unchecked_called_by_checked.sol

[SMTChecker] Synthesize untrusted functions called externally

2021-01-15 11:56:26 +01:00

unchecked_div_by_zero.sol

Add contract name to called function in cex

2021-01-04 10:03:16 +01:00

unchecked_double_with_modifier.sol

[SMTChecker] Reset checked/unchecked flag to the default value when inlining function in BMC

2021-01-15 15:36:26 +01:00

unchecked_function_call_with_unchecked_block.sol

[SMTChecker] Reset checked/unchecked flag to the default value when inlining function in BMC

2021-01-15 15:36:26 +01:00