Leonardo Alt 7490ffbe13 Use nonlinear clauses instead of inlining for base constructors		2020-12-04 13:25:56 +01:00
..
address.sol
array_1.sol
array_2.sol
bytes.sol
contract.sol
double_access.sol
enum.sol
fixed_bytes.sol
function.sol
mapping_1.sol
mapping_2.sol
mapping_with_cast.sol
nested_arrays_mappings_1.sol
nested_arrays_mappings_2.sol
nested_arrays_mappings_3.sol	Use nonlinear clauses instead of inlining for base constructors	2020-12-04 13:25:56 +01:00
nested_arrays_mappings_4.sol
nested_arrays_mappings_5.sol
nested_arrays_mappings_6.sol	Use nonlinear clauses instead of inlining for base constructors	2020-12-04 13:25:56 +01:00
nested_arrays_mappings_7.sol
nested_arrays_mappings_8.sol
nested_arrays_mappings_9.sol
nested_arrays_mappings_10.sol
static_array.sol
string.sol
struct_1.sol
struct_2.sol
struct_3.sol
struct_4.sol
struct_with_reassignment.sol
uint.sol