From 32fe4768a9f9a3872eec541c1e7b3f3c94c8428c Mon Sep 17 00:00:00 2001 From: Leonardo Alt Date: Wed, 14 Nov 2018 17:14:07 +0100 Subject: [PATCH] Organize smt tests in subdirectories --- test/libsolidity/smtCheckerTests/{ => complex}/warn_on_struct.sol | 0 .../smtCheckerTests/{ => complex}/warn_on_typecast.sol | 0 .../{ => control_flow}/assignment_in_declaration.sol | 0 .../{ => control_flow}/branches_assert_condition_1.sol | 0 .../{ => control_flow}/branches_assert_condition_2.sol | 0 .../{ => control_flow}/branches_merge_variables_1.sol | 0 .../{ => control_flow}/branches_merge_variables_2.sol | 0 .../{ => control_flow}/branches_merge_variables_3.sol | 0 .../{ => control_flow}/branches_merge_variables_4.sol | 0 .../{ => control_flow}/branches_merge_variables_5.sol | 0 .../{ => control_flow}/branches_merge_variables_6.sol | 0 .../{ => control_flow}/ways_to_merge_variables_1.sol | 0 .../{ => control_flow}/ways_to_merge_variables_2.sol | 0 .../{ => control_flow}/ways_to_merge_variables_3.sol | 0 .../{ => functions}/function_call_does_not_clear_local_vars.sol | 0 test/libsolidity/smtCheckerTests/{ => loops}/for_loop_1.sol | 0 test/libsolidity/smtCheckerTests/{ => loops}/for_loop_2.sol | 0 test/libsolidity/smtCheckerTests/{ => loops}/for_loop_3.sol | 0 test/libsolidity/smtCheckerTests/{ => loops}/for_loop_4.sol | 0 test/libsolidity/smtCheckerTests/{ => loops}/for_loop_5.sol | 0 test/libsolidity/smtCheckerTests/{ => loops}/for_loop_6.sol | 0 .../smtCheckerTests/{ => loops}/while_loop_simple_1.sol | 0 .../smtCheckerTests/{ => loops}/while_loop_simple_2.sol | 0 .../smtCheckerTests/{ => loops}/while_loop_simple_3.sol | 0 .../smtCheckerTests/{ => loops}/while_loop_simple_4.sol | 0 .../smtCheckerTests/{ => loops}/while_loop_simple_5.sol | 0 .../smtCheckerTests/{ => overflow}/simple_overflow.sol | 0 test/libsolidity/smtCheckerTests/{ => simple}/smoke_test.sol | 0 test/libsolidity/smtCheckerTests/{ => types}/bool_int_mixed_1.sol | 0 test/libsolidity/smtCheckerTests/{ => types}/bool_int_mixed_2.sol | 0 test/libsolidity/smtCheckerTests/{ => types}/bool_int_mixed_3.sol | 0 test/libsolidity/smtCheckerTests/{ => types}/bool_simple_1.sol | 0 test/libsolidity/smtCheckerTests/{ => types}/bool_simple_2.sol | 0 test/libsolidity/smtCheckerTests/{ => types}/bool_simple_3.sol | 0 test/libsolidity/smtCheckerTests/{ => types}/bool_simple_4.sol | 0 test/libsolidity/smtCheckerTests/{ => types}/bool_simple_5.sol | 0 test/libsolidity/smtCheckerTests/{ => types}/bool_simple_6.sol | 0 .../smtCheckerTests/{ => types}/storage_value_vars_1.sol | 0 .../smtCheckerTests/{ => types}/storage_value_vars_2.sol | 0 .../smtCheckerTests/{ => types}/storage_value_vars_3.sol | 0 .../smtCheckerTests/{ => types}/storage_value_vars_4.sol | 0 .../{ => verification_target}/constant_condition_1.sol | 0 .../{ => verification_target}/constant_condition_2.sol | 0 .../{ => verification_target}/constant_condition_3.sol | 0 .../smtCheckerTests/{ => verification_target}/simple_assert.sol | 0 .../{ => verification_target}/simple_assert_with_require.sol | 0 46 files changed, 0 insertions(+), 0 deletions(-) rename test/libsolidity/smtCheckerTests/{ => complex}/warn_on_struct.sol (100%) rename test/libsolidity/smtCheckerTests/{ => complex}/warn_on_typecast.sol (100%) rename test/libsolidity/smtCheckerTests/{ => control_flow}/assignment_in_declaration.sol (100%) rename test/libsolidity/smtCheckerTests/{ => control_flow}/branches_assert_condition_1.sol (100%) rename test/libsolidity/smtCheckerTests/{ => control_flow}/branches_assert_condition_2.sol (100%) rename test/libsolidity/smtCheckerTests/{ => control_flow}/branches_merge_variables_1.sol (100%) rename test/libsolidity/smtCheckerTests/{ => control_flow}/branches_merge_variables_2.sol (100%) rename test/libsolidity/smtCheckerTests/{ => control_flow}/branches_merge_variables_3.sol (100%) rename test/libsolidity/smtCheckerTests/{ => control_flow}/branches_merge_variables_4.sol (100%) rename test/libsolidity/smtCheckerTests/{ => control_flow}/branches_merge_variables_5.sol (100%) rename test/libsolidity/smtCheckerTests/{ => control_flow}/branches_merge_variables_6.sol (100%) rename test/libsolidity/smtCheckerTests/{ => control_flow}/ways_to_merge_variables_1.sol (100%) rename test/libsolidity/smtCheckerTests/{ => control_flow}/ways_to_merge_variables_2.sol (100%) rename test/libsolidity/smtCheckerTests/{ => control_flow}/ways_to_merge_variables_3.sol (100%) rename test/libsolidity/smtCheckerTests/{ => functions}/function_call_does_not_clear_local_vars.sol (100%) rename test/libsolidity/smtCheckerTests/{ => loops}/for_loop_1.sol (100%) rename test/libsolidity/smtCheckerTests/{ => loops}/for_loop_2.sol (100%) rename test/libsolidity/smtCheckerTests/{ => loops}/for_loop_3.sol (100%) rename test/libsolidity/smtCheckerTests/{ => loops}/for_loop_4.sol (100%) rename test/libsolidity/smtCheckerTests/{ => loops}/for_loop_5.sol (100%) rename test/libsolidity/smtCheckerTests/{ => loops}/for_loop_6.sol (100%) rename test/libsolidity/smtCheckerTests/{ => loops}/while_loop_simple_1.sol (100%) rename test/libsolidity/smtCheckerTests/{ => loops}/while_loop_simple_2.sol (100%) rename test/libsolidity/smtCheckerTests/{ => loops}/while_loop_simple_3.sol (100%) rename test/libsolidity/smtCheckerTests/{ => loops}/while_loop_simple_4.sol (100%) rename test/libsolidity/smtCheckerTests/{ => loops}/while_loop_simple_5.sol (100%) rename test/libsolidity/smtCheckerTests/{ => overflow}/simple_overflow.sol (100%) rename test/libsolidity/smtCheckerTests/{ => simple}/smoke_test.sol (100%) rename test/libsolidity/smtCheckerTests/{ => types}/bool_int_mixed_1.sol (100%) rename test/libsolidity/smtCheckerTests/{ => types}/bool_int_mixed_2.sol (100%) rename test/libsolidity/smtCheckerTests/{ => types}/bool_int_mixed_3.sol (100%) rename test/libsolidity/smtCheckerTests/{ => types}/bool_simple_1.sol (100%) rename test/libsolidity/smtCheckerTests/{ => types}/bool_simple_2.sol (100%) rename test/libsolidity/smtCheckerTests/{ => types}/bool_simple_3.sol (100%) rename test/libsolidity/smtCheckerTests/{ => types}/bool_simple_4.sol (100%) rename test/libsolidity/smtCheckerTests/{ => types}/bool_simple_5.sol (100%) rename test/libsolidity/smtCheckerTests/{ => types}/bool_simple_6.sol (100%) rename test/libsolidity/smtCheckerTests/{ => types}/storage_value_vars_1.sol (100%) rename test/libsolidity/smtCheckerTests/{ => types}/storage_value_vars_2.sol (100%) rename test/libsolidity/smtCheckerTests/{ => types}/storage_value_vars_3.sol (100%) rename test/libsolidity/smtCheckerTests/{ => types}/storage_value_vars_4.sol (100%) rename test/libsolidity/smtCheckerTests/{ => verification_target}/constant_condition_1.sol (100%) rename test/libsolidity/smtCheckerTests/{ => verification_target}/constant_condition_2.sol (100%) rename test/libsolidity/smtCheckerTests/{ => verification_target}/constant_condition_3.sol (100%) rename test/libsolidity/smtCheckerTests/{ => verification_target}/simple_assert.sol (100%) rename test/libsolidity/smtCheckerTests/{ => verification_target}/simple_assert_with_require.sol (100%) diff --git a/test/libsolidity/smtCheckerTests/warn_on_struct.sol b/test/libsolidity/smtCheckerTests/complex/warn_on_struct.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/warn_on_struct.sol rename to test/libsolidity/smtCheckerTests/complex/warn_on_struct.sol diff --git a/test/libsolidity/smtCheckerTests/warn_on_typecast.sol b/test/libsolidity/smtCheckerTests/complex/warn_on_typecast.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/warn_on_typecast.sol rename to test/libsolidity/smtCheckerTests/complex/warn_on_typecast.sol diff --git a/test/libsolidity/smtCheckerTests/assignment_in_declaration.sol b/test/libsolidity/smtCheckerTests/control_flow/assignment_in_declaration.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/assignment_in_declaration.sol rename to test/libsolidity/smtCheckerTests/control_flow/assignment_in_declaration.sol diff --git a/test/libsolidity/smtCheckerTests/branches_assert_condition_1.sol b/test/libsolidity/smtCheckerTests/control_flow/branches_assert_condition_1.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/branches_assert_condition_1.sol rename to test/libsolidity/smtCheckerTests/control_flow/branches_assert_condition_1.sol diff --git a/test/libsolidity/smtCheckerTests/branches_assert_condition_2.sol b/test/libsolidity/smtCheckerTests/control_flow/branches_assert_condition_2.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/branches_assert_condition_2.sol rename to test/libsolidity/smtCheckerTests/control_flow/branches_assert_condition_2.sol diff --git a/test/libsolidity/smtCheckerTests/branches_merge_variables_1.sol b/test/libsolidity/smtCheckerTests/control_flow/branches_merge_variables_1.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/branches_merge_variables_1.sol rename to test/libsolidity/smtCheckerTests/control_flow/branches_merge_variables_1.sol diff --git a/test/libsolidity/smtCheckerTests/branches_merge_variables_2.sol b/test/libsolidity/smtCheckerTests/control_flow/branches_merge_variables_2.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/branches_merge_variables_2.sol rename to test/libsolidity/smtCheckerTests/control_flow/branches_merge_variables_2.sol diff --git a/test/libsolidity/smtCheckerTests/branches_merge_variables_3.sol b/test/libsolidity/smtCheckerTests/control_flow/branches_merge_variables_3.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/branches_merge_variables_3.sol rename to test/libsolidity/smtCheckerTests/control_flow/branches_merge_variables_3.sol diff --git a/test/libsolidity/smtCheckerTests/branches_merge_variables_4.sol b/test/libsolidity/smtCheckerTests/control_flow/branches_merge_variables_4.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/branches_merge_variables_4.sol rename to test/libsolidity/smtCheckerTests/control_flow/branches_merge_variables_4.sol diff --git a/test/libsolidity/smtCheckerTests/branches_merge_variables_5.sol b/test/libsolidity/smtCheckerTests/control_flow/branches_merge_variables_5.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/branches_merge_variables_5.sol rename to test/libsolidity/smtCheckerTests/control_flow/branches_merge_variables_5.sol diff --git a/test/libsolidity/smtCheckerTests/branches_merge_variables_6.sol b/test/libsolidity/smtCheckerTests/control_flow/branches_merge_variables_6.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/branches_merge_variables_6.sol rename to test/libsolidity/smtCheckerTests/control_flow/branches_merge_variables_6.sol diff --git a/test/libsolidity/smtCheckerTests/ways_to_merge_variables_1.sol b/test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_1.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/ways_to_merge_variables_1.sol rename to test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_1.sol diff --git a/test/libsolidity/smtCheckerTests/ways_to_merge_variables_2.sol b/test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_2.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/ways_to_merge_variables_2.sol rename to test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_2.sol diff --git a/test/libsolidity/smtCheckerTests/ways_to_merge_variables_3.sol b/test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_3.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/ways_to_merge_variables_3.sol rename to test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_3.sol diff --git a/test/libsolidity/smtCheckerTests/function_call_does_not_clear_local_vars.sol b/test/libsolidity/smtCheckerTests/functions/function_call_does_not_clear_local_vars.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/function_call_does_not_clear_local_vars.sol rename to test/libsolidity/smtCheckerTests/functions/function_call_does_not_clear_local_vars.sol diff --git a/test/libsolidity/smtCheckerTests/for_loop_1.sol b/test/libsolidity/smtCheckerTests/loops/for_loop_1.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/for_loop_1.sol rename to test/libsolidity/smtCheckerTests/loops/for_loop_1.sol diff --git a/test/libsolidity/smtCheckerTests/for_loop_2.sol b/test/libsolidity/smtCheckerTests/loops/for_loop_2.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/for_loop_2.sol rename to test/libsolidity/smtCheckerTests/loops/for_loop_2.sol diff --git a/test/libsolidity/smtCheckerTests/for_loop_3.sol b/test/libsolidity/smtCheckerTests/loops/for_loop_3.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/for_loop_3.sol rename to test/libsolidity/smtCheckerTests/loops/for_loop_3.sol diff --git a/test/libsolidity/smtCheckerTests/for_loop_4.sol b/test/libsolidity/smtCheckerTests/loops/for_loop_4.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/for_loop_4.sol rename to test/libsolidity/smtCheckerTests/loops/for_loop_4.sol diff --git a/test/libsolidity/smtCheckerTests/for_loop_5.sol b/test/libsolidity/smtCheckerTests/loops/for_loop_5.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/for_loop_5.sol rename to test/libsolidity/smtCheckerTests/loops/for_loop_5.sol diff --git a/test/libsolidity/smtCheckerTests/for_loop_6.sol b/test/libsolidity/smtCheckerTests/loops/for_loop_6.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/for_loop_6.sol rename to test/libsolidity/smtCheckerTests/loops/for_loop_6.sol diff --git a/test/libsolidity/smtCheckerTests/while_loop_simple_1.sol b/test/libsolidity/smtCheckerTests/loops/while_loop_simple_1.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/while_loop_simple_1.sol rename to test/libsolidity/smtCheckerTests/loops/while_loop_simple_1.sol diff --git a/test/libsolidity/smtCheckerTests/while_loop_simple_2.sol b/test/libsolidity/smtCheckerTests/loops/while_loop_simple_2.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/while_loop_simple_2.sol rename to test/libsolidity/smtCheckerTests/loops/while_loop_simple_2.sol diff --git a/test/libsolidity/smtCheckerTests/while_loop_simple_3.sol b/test/libsolidity/smtCheckerTests/loops/while_loop_simple_3.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/while_loop_simple_3.sol rename to test/libsolidity/smtCheckerTests/loops/while_loop_simple_3.sol diff --git a/test/libsolidity/smtCheckerTests/while_loop_simple_4.sol b/test/libsolidity/smtCheckerTests/loops/while_loop_simple_4.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/while_loop_simple_4.sol rename to test/libsolidity/smtCheckerTests/loops/while_loop_simple_4.sol diff --git a/test/libsolidity/smtCheckerTests/while_loop_simple_5.sol b/test/libsolidity/smtCheckerTests/loops/while_loop_simple_5.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/while_loop_simple_5.sol rename to test/libsolidity/smtCheckerTests/loops/while_loop_simple_5.sol diff --git a/test/libsolidity/smtCheckerTests/simple_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/simple_overflow.sol rename to test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol diff --git a/test/libsolidity/smtCheckerTests/smoke_test.sol b/test/libsolidity/smtCheckerTests/simple/smoke_test.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/smoke_test.sol rename to test/libsolidity/smtCheckerTests/simple/smoke_test.sol diff --git a/test/libsolidity/smtCheckerTests/bool_int_mixed_1.sol b/test/libsolidity/smtCheckerTests/types/bool_int_mixed_1.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/bool_int_mixed_1.sol rename to test/libsolidity/smtCheckerTests/types/bool_int_mixed_1.sol diff --git a/test/libsolidity/smtCheckerTests/bool_int_mixed_2.sol b/test/libsolidity/smtCheckerTests/types/bool_int_mixed_2.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/bool_int_mixed_2.sol rename to test/libsolidity/smtCheckerTests/types/bool_int_mixed_2.sol diff --git a/test/libsolidity/smtCheckerTests/bool_int_mixed_3.sol b/test/libsolidity/smtCheckerTests/types/bool_int_mixed_3.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/bool_int_mixed_3.sol rename to test/libsolidity/smtCheckerTests/types/bool_int_mixed_3.sol diff --git a/test/libsolidity/smtCheckerTests/bool_simple_1.sol b/test/libsolidity/smtCheckerTests/types/bool_simple_1.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/bool_simple_1.sol rename to test/libsolidity/smtCheckerTests/types/bool_simple_1.sol diff --git a/test/libsolidity/smtCheckerTests/bool_simple_2.sol b/test/libsolidity/smtCheckerTests/types/bool_simple_2.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/bool_simple_2.sol rename to test/libsolidity/smtCheckerTests/types/bool_simple_2.sol diff --git a/test/libsolidity/smtCheckerTests/bool_simple_3.sol b/test/libsolidity/smtCheckerTests/types/bool_simple_3.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/bool_simple_3.sol rename to test/libsolidity/smtCheckerTests/types/bool_simple_3.sol diff --git a/test/libsolidity/smtCheckerTests/bool_simple_4.sol b/test/libsolidity/smtCheckerTests/types/bool_simple_4.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/bool_simple_4.sol rename to test/libsolidity/smtCheckerTests/types/bool_simple_4.sol diff --git a/test/libsolidity/smtCheckerTests/bool_simple_5.sol b/test/libsolidity/smtCheckerTests/types/bool_simple_5.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/bool_simple_5.sol rename to test/libsolidity/smtCheckerTests/types/bool_simple_5.sol diff --git a/test/libsolidity/smtCheckerTests/bool_simple_6.sol b/test/libsolidity/smtCheckerTests/types/bool_simple_6.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/bool_simple_6.sol rename to test/libsolidity/smtCheckerTests/types/bool_simple_6.sol diff --git a/test/libsolidity/smtCheckerTests/storage_value_vars_1.sol b/test/libsolidity/smtCheckerTests/types/storage_value_vars_1.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/storage_value_vars_1.sol rename to test/libsolidity/smtCheckerTests/types/storage_value_vars_1.sol diff --git a/test/libsolidity/smtCheckerTests/storage_value_vars_2.sol b/test/libsolidity/smtCheckerTests/types/storage_value_vars_2.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/storage_value_vars_2.sol rename to test/libsolidity/smtCheckerTests/types/storage_value_vars_2.sol diff --git a/test/libsolidity/smtCheckerTests/storage_value_vars_3.sol b/test/libsolidity/smtCheckerTests/types/storage_value_vars_3.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/storage_value_vars_3.sol rename to test/libsolidity/smtCheckerTests/types/storage_value_vars_3.sol diff --git a/test/libsolidity/smtCheckerTests/storage_value_vars_4.sol b/test/libsolidity/smtCheckerTests/types/storage_value_vars_4.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/storage_value_vars_4.sol rename to test/libsolidity/smtCheckerTests/types/storage_value_vars_4.sol diff --git a/test/libsolidity/smtCheckerTests/constant_condition_1.sol b/test/libsolidity/smtCheckerTests/verification_target/constant_condition_1.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/constant_condition_1.sol rename to test/libsolidity/smtCheckerTests/verification_target/constant_condition_1.sol diff --git a/test/libsolidity/smtCheckerTests/constant_condition_2.sol b/test/libsolidity/smtCheckerTests/verification_target/constant_condition_2.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/constant_condition_2.sol rename to test/libsolidity/smtCheckerTests/verification_target/constant_condition_2.sol diff --git a/test/libsolidity/smtCheckerTests/constant_condition_3.sol b/test/libsolidity/smtCheckerTests/verification_target/constant_condition_3.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/constant_condition_3.sol rename to test/libsolidity/smtCheckerTests/verification_target/constant_condition_3.sol diff --git a/test/libsolidity/smtCheckerTests/simple_assert.sol b/test/libsolidity/smtCheckerTests/verification_target/simple_assert.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/simple_assert.sol rename to test/libsolidity/smtCheckerTests/verification_target/simple_assert.sol diff --git a/test/libsolidity/smtCheckerTests/simple_assert_with_require.sol b/test/libsolidity/smtCheckerTests/verification_target/simple_assert_with_require.sol similarity index 100% rename from test/libsolidity/smtCheckerTests/simple_assert_with_require.sol rename to test/libsolidity/smtCheckerTests/verification_target/simple_assert_with_require.sol