Leo Alt 8d91ccf028 [SMTChecker] Add a new trusted mode which assumes that code that is ...

available at compile time is trusted.

2023-02-06 17:02:33 +01:00

..

try_1.sol

Update old tests

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

try_2.sol

Update old tests

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

try_3.sol

Update old tests

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

try_4.sol

Adjust tests for nondeterminism

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

try_5.sol

SMTChecker tests

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

try_call_in_catch_1.sol

Update old tests

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

try_call_in_catch_2.sol

Update old tests

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

try_inside_if.sol

Update old tests

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

try_inside_while.sol

Update old tests

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

try_multiple_catch_clauses_2.sol

Update tests due to nondeterminism

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

try_multiple_catch_clauses.sol

Update old tests

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

try_multiple_returned_values_with_tuple.sol

Update old tests

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

try_multiple_returned_values.sol

SMTChecker tests

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

try_nested_1.sol

Update old tests

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

try_nested_2.sol

adjust for osx nondeterminism

2022-05-04 19:04:54 +02:00

try_nested_3.sol

Update existing tests

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

try_new.sol

[SMTChecker] Add a new trusted mode which assumes that code that is

2023-02-06 17:02:33 +01:00

try_public_var_mapping.sol

Update docker images and tests

2022-08-30 11:51:59 +02:00

try_public_var.sol

Update old tests

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

try_string_literal_to_bytes_array.sol

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

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

try_string_literal_to_fixed_bytes.sol

Update old tests

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