solidity

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

update smtchecker tests

2021-11-24 20:41:22 +01: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

[SMTChecker] Report values for block, msg and tx variables in counterexamples

2021-10-05 15:19:10 +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

[SMTChecker] Report values for block, msg and tx variables in counterexamples

2021-10-05 15:19:10 +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

[SMTChecker] Report values for block, msg and tx variables in counterexamples

2021-10-05 15:19:10 +02:00

msg_value_1.sol

[SMTChecker] Report values for block, msg and tx variables in counterexamples

2021-10-05 15:19:10 +02:00

msg_value_2.sol

[SMTChecker] Report values for block, msg and tx variables in counterexamples

2021-10-05 15:19:10 +02:00

msg_value_3.sol

SMTChecker tests

2021-10-26 11:30:30 +02:00

msg_value_4.sol

[SMTChecker] Report values for block, msg and tx variables in counterexamples

2021-10-05 15:19:10 +02:00

msg_value_inheritance_1.sol

[SMTChecker] Report values for block, msg and tx variables in counterexamples

2021-10-05 15:19:10 +02:00

msg_value_inheritance_2.sol

[SMTChecker] Report values for block, msg and tx variables in counterexamples

2021-10-05 15:19:10 +02:00

msg_value_inheritance_3.sol

[SMTChecker] Report values for block, msg and tx variables in counterexamples

2021-10-05 15:19:10 +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

SMTChecker tests

2021-10-26 11:30:30 +02:00

range_check.sol

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

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

shadowing_1.sol

[SMTChecker] Report values for block, msg and tx variables in counterexamples

2021-10-05 15:19:10 +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

[SMTChecker] Report values for block, msg and tx variables in counterexamples

2021-10-05 15:19:10 +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

macos nondeterminism

2021-11-24 20:41:22 +01:00

tx_vars_reentrancy_1.sol

update smtchecker tests for new z3

2022-01-12 15:13:34 +01:00

tx_vars_reentrancy_2.sol

update smtchecker tests for new z3

2022-01-12 15:13:34 +01:00