Leo Alt d81ebe97c3 Fix magic access

2021-10-01 12:57:06 +02:00

..

abi_decode_memory_v2_value_types.sol

Update old tests

2021-04-08 21:03:39 +02:00

abi_decode_memory_v2.sol

[SMTChecker] Cleanup spurious messages about TypeTypes

2021-09-07 16:55:25 +02:00

abi_decode_simple.sol

[SMTChecker] Cleanup spurious messages about TypeTypes

2021-09-07 16:55:25 +02:00

abi_encode_slice.sol

Update old tests

2021-04-08 21:03:39 +02:00

block_vars_bmc_internal.sol

Fix BMCs constraints on internal functions

2021-09-15 14:42:39 +02:00

block_vars_chc_internal.sol

Fix BMCs constraints on internal functions

2021-09-15 14:42:39 +02:00

blockhash.sol

Update tests due to nondeterminism

2021-07-19 15:20:11 +02:00

chainid.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

difficulty.sol

Update old tests

2021-04-08 21:03:39 +02:00

ether_units.sol

Update old tests

2021-04-08 21:03:39 +02:00

event.sol

Update existing tests

2021-08-25 21:10:08 +02:00

gasleft.sol

Update old tests

2021-04-08 21:03:39 +02:00

many_internal.sol

Fix BMCs constraints on internal functions

2021-09-15 14:42:39 +02:00

many.sol

Update old tests

2021-04-08 21:03:39 +02:00

msg_data.sol

Update tests due to nondeterminism

2021-07-19 15:20:11 +02:00

msg_parens_1.sol

Fix magic access

2021-10-01 12:57:06 +02:00

msg_sender_1.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

msg_sender_2.sol

Update old tests

2021-04-08 21:03:39 +02:00

msg_sender_3.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

msg_sender_fail_1.sol

Update old tests

2021-04-08 21:03:39 +02:00

msg_sender_range.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

msg_sig.sol

Update old tests

2021-04-08 21:03:39 +02:00

msg_value_1.sol

Update old tests

2021-04-08 21:03:39 +02:00

msg_value_2.sol

Update old tests

2021-04-08 21:03:39 +02:00

msg_value_3.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

msg_value_4.sol

Update existing tests

2021-08-25 21:10:08 +02:00

msg_value_inheritance_1.sol

Update old tests

2021-04-08 21:03:39 +02:00

msg_value_inheritance_2.sol

Tests

2021-08-04 13:54:50 +02:00

msg_value_inheritance_3.sol

Update old tests

2021-04-08 21:03:39 +02:00

msg_vars_bmc_internal.sol

Fix BMCs constraints on internal functions

2021-09-15 14:42:39 +02:00

msg_vars_chc_internal.sol

Fix BMCs constraints on internal functions

2021-09-15 14:42:39 +02:00

range_check.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

this_state.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

this.sol

Update old tests

2021-04-08 21:03:39 +02:00

time_units.sol

Update old tests

2021-04-08 21:03:39 +02:00

timestamp_2.sol

Update old tests

2021-04-08 21:03:39 +02:00

timestamp.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

tx_data_gasleft_changes.sol

Update old tests

2021-04-08 21:03:39 +02:00

tx_data_immutable_fail.sol

Update old tests

2021-04-08 21:03:39 +02:00

tx_data_immutable.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

tx_vars_bmc_internal.sol

Fix BMCs constraints on internal functions

2021-09-15 14:42:39 +02:00

tx_vars_chc_internal.sol

Fix BMCs constraints on internal functions

2021-09-15 14:42:39 +02:00