Leo Alt 3c1f555f71 Tests

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

..

constant_easy.sol

tests for free constants

2021-04-19 19:23:18 +02:00

constant_string_at_file_level.sol

tests for free constants

2021-04-19 19:23:18 +02:00

constants_at_file_level_referencing.sol

Update tests to z3 4.8.12

2021-07-16 14:43:52 +02:00

easy.sol

new free function tests

2021-04-19 19:23:18 +02:00

enum.sol

new free function tests

2021-04-19 19:23:18 +02:00

file_level_call_via_module.sol

update tests

2021-04-19 19:23:18 +02:00

free_constant_1.sol

tests for free constants

2021-04-19 19:23:18 +02:00

free_constant_2.sol

tests for free constants

2021-04-19 19:23:18 +02:00

free_function_1.sol

Update tests due to nondeterminism

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

free_function_2.sol

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

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

free_function_3.sol

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

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

free_function_4.sol

new free function tests

2021-04-19 19:23:18 +02:00

free_function_5.sol

new free function tests

2021-04-19 19:23:18 +02:00

free_function_and_constant_1.sol

Fix nondeterminism

2021-04-19 19:23:18 +02:00

free_namesake_contract_function.sol

new free function tests

2021-04-19 19:23:18 +02:00

free_runtimecode.sol

new free function tests

2021-04-19 19:23:18 +02:00

import.sol

new free function tests

2021-04-19 19:23:18 +02:00

libraries_from_free.sol

Update tests to z3 4.8.12

2021-07-16 14:43:52 +02:00

new_operator.sol

new free function tests

2021-04-19 19:23:18 +02:00

overloads.sol

new free function tests

2021-04-19 19:23:18 +02:00

recursion.sol

Tests

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

same_constants_different_files.sol

update tests

2021-04-19 19:23:18 +02:00

struct.sol

new free function tests

2021-04-19 19:23:18 +02:00