Drop numbering in front of the SMTChecker tests

46 files changed, 0 insertions, 0 deletions

diff --git a/test/libsolidity/smtCheckerTests/007_assignment_in_declaration.sol b/test/libsolidity/smtCheckerTests/assignment_in_declaration.sol
index 0c701672..0c701672 100644
--- a/test/libsolidity/smtCheckerTests/007_assignment_in_declaration.sol
+++ b/test/libsolidity/smtCheckerTests/assignment_in_declaration.sol
diff --git a/test/libsolidity/smtCheckerTests/026_bool_int_mixed.sol b/test/libsolidity/smtCheckerTests/bool_int_mixed_1.sol
index d611cc17..d611cc17 100644
--- a/test/libsolidity/smtCheckerTests/026_bool_int_mixed.sol
+++ b/test/libsolidity/smtCheckerTests/bool_int_mixed_1.sol
diff --git a/test/libsolidity/smtCheckerTests/027_bool_int_mixed.sol b/test/libsolidity/smtCheckerTests/bool_int_mixed_2.sol
index 24640c5a..24640c5a 100644
--- a/test/libsolidity/smtCheckerTests/027_bool_int_mixed.sol
+++ b/test/libsolidity/smtCheckerTests/bool_int_mixed_2.sol
diff --git a/test/libsolidity/smtCheckerTests/028_bool_int_mixed.sol b/test/libsolidity/smtCheckerTests/bool_int_mixed_3.sol
index f872e82f..f872e82f 100644
--- a/test/libsolidity/smtCheckerTests/028_bool_int_mixed.sol
+++ b/test/libsolidity/smtCheckerTests/bool_int_mixed_3.sol
diff --git a/test/libsolidity/smtCheckerTests/020_bool_simple.sol b/test/libsolidity/smtCheckerTests/bool_simple_1.sol
index 76b4b08b..76b4b08b 100644
--- a/test/libsolidity/smtCheckerTests/020_bool_simple.sol
+++ b/test/libsolidity/smtCheckerTests/bool_simple_1.sol
diff --git a/test/libsolidity/smtCheckerTests/021_bool_simple.sol b/test/libsolidity/smtCheckerTests/bool_simple_2.sol
index 5c166c02..5c166c02 100644
--- a/test/libsolidity/smtCheckerTests/021_bool_simple.sol
+++ b/test/libsolidity/smtCheckerTests/bool_simple_2.sol
diff --git a/test/libsolidity/smtCheckerTests/022_bool_simple.sol b/test/libsolidity/smtCheckerTests/bool_simple_3.sol
index 1d2ab49f..1d2ab49f 100644
--- a/test/libsolidity/smtCheckerTests/022_bool_simple.sol
+++ b/test/libsolidity/smtCheckerTests/bool_simple_3.sol
diff --git a/test/libsolidity/smtCheckerTests/023_bool_simple.sol b/test/libsolidity/smtCheckerTests/bool_simple_4.sol
index c40404a4..c40404a4 100644
--- a/test/libsolidity/smtCheckerTests/023_bool_simple.sol
+++ b/test/libsolidity/smtCheckerTests/bool_simple_4.sol
diff --git a/test/libsolidity/smtCheckerTests/024_bool_simple.sol b/test/libsolidity/smtCheckerTests/bool_simple_5.sol
index 4cecebbc..4cecebbc 100644
--- a/test/libsolidity/smtCheckerTests/024_bool_simple.sol
+++ b/test/libsolidity/smtCheckerTests/bool_simple_5.sol
diff --git a/test/libsolidity/smtCheckerTests/025_bool_simple.sol b/test/libsolidity/smtCheckerTests/bool_simple_6.sol
index 90350bb6..90350bb6 100644
--- a/test/libsolidity/smtCheckerTests/025_bool_simple.sol
+++ b/test/libsolidity/smtCheckerTests/bool_simple_6.sol
diff --git a/test/libsolidity/smtCheckerTests/015_branches_assert_condition.sol b/test/libsolidity/smtCheckerTests/branches_assert_condition_1.sol
index 64f6e012..64f6e012 100644
--- a/test/libsolidity/smtCheckerTests/015_branches_assert_condition.sol
+++ b/test/libsolidity/smtCheckerTests/branches_assert_condition_1.sol
diff --git a/test/libsolidity/smtCheckerTests/016_branches_assert_condition.sol b/test/libsolidity/smtCheckerTests/branches_assert_condition_2.sol
index e39ab844..e39ab844 100644
--- a/test/libsolidity/smtCheckerTests/016_branches_assert_condition.sol
+++ b/test/libsolidity/smtCheckerTests/branches_assert_condition_2.sol
diff --git a/test/libsolidity/smtCheckerTests/009_branches_merge_variables.sol b/test/libsolidity/smtCheckerTests/branches_merge_variables_1.sol
index f93e32e4..f93e32e4 100644
--- a/test/libsolidity/smtCheckerTests/009_branches_merge_variables.sol
+++ b/test/libsolidity/smtCheckerTests/branches_merge_variables_1.sol
diff --git a/test/libsolidity/smtCheckerTests/010_branches_merge_variables.sol b/test/libsolidity/smtCheckerTests/branches_merge_variables_2.sol
index c00ef787..c00ef787 100644
--- a/test/libsolidity/smtCheckerTests/010_branches_merge_variables.sol
+++ b/test/libsolidity/smtCheckerTests/branches_merge_variables_2.sol
diff --git a/test/libsolidity/smtCheckerTests/011_branches_merge_variables.sol b/test/libsolidity/smtCheckerTests/branches_merge_variables_3.sol
index 4e18aa88..4e18aa88 100644
--- a/test/libsolidity/smtCheckerTests/011_branches_merge_variables.sol
+++ b/test/libsolidity/smtCheckerTests/branches_merge_variables_3.sol
diff --git a/test/libsolidity/smtCheckerTests/012_branches_merge_variables.sol b/test/libsolidity/smtCheckerTests/branches_merge_variables_4.sol
index e3a02704..e3a02704 100644
--- a/test/libsolidity/smtCheckerTests/012_branches_merge_variables.sol
+++ b/test/libsolidity/smtCheckerTests/branches_merge_variables_4.sol
diff --git a/test/libsolidity/smtCheckerTests/013_branches_merge_variables.sol b/test/libsolidity/smtCheckerTests/branches_merge_variables_5.sol
index 0bd1cf3a..0bd1cf3a 100644
--- a/test/libsolidity/smtCheckerTests/013_branches_merge_variables.sol
+++ b/test/libsolidity/smtCheckerTests/branches_merge_variables_5.sol
diff --git a/test/libsolidity/smtCheckerTests/014_branches_merge_variables.sol b/test/libsolidity/smtCheckerTests/branches_merge_variables_6.sol
index 8e477179..8e477179 100644
--- a/test/libsolidity/smtCheckerTests/014_branches_merge_variables.sol
+++ b/test/libsolidity/smtCheckerTests/branches_merge_variables_6.sol
diff --git a/test/libsolidity/smtCheckerTests/038_constant_condition.sol b/test/libsolidity/smtCheckerTests/constant_condition_1.sol
index b9fae4ee..b9fae4ee 100644
--- a/test/libsolidity/smtCheckerTests/038_constant_condition.sol
+++ b/test/libsolidity/smtCheckerTests/constant_condition_1.sol
diff --git a/test/libsolidity/smtCheckerTests/039_constant_condition.sol b/test/libsolidity/smtCheckerTests/constant_condition_2.sol
index aaa613ea..aaa613ea 100644
--- a/test/libsolidity/smtCheckerTests/039_constant_condition.sol
+++ b/test/libsolidity/smtCheckerTests/constant_condition_2.sol
diff --git a/test/libsolidity/smtCheckerTests/040_constant_condition.sol b/test/libsolidity/smtCheckerTests/constant_condition_3.sol
index f22cd65e..f22cd65e 100644
--- a/test/libsolidity/smtCheckerTests/040_constant_condition.sol
+++ b/test/libsolidity/smtCheckerTests/constant_condition_3.sol
diff --git a/test/libsolidity/smtCheckerTests/041_for_loop.sol b/test/libsolidity/smtCheckerTests/for_loop_1.sol
index 8988efad..8988efad 100644
--- a/test/libsolidity/smtCheckerTests/041_for_loop.sol
+++ b/test/libsolidity/smtCheckerTests/for_loop_1.sol
diff --git a/test/libsolidity/smtCheckerTests/042_for_loop.sol b/test/libsolidity/smtCheckerTests/for_loop_2.sol
index 58c9f3a7..58c9f3a7 100644
--- a/test/libsolidity/smtCheckerTests/042_for_loop.sol
+++ b/test/libsolidity/smtCheckerTests/for_loop_2.sol
diff --git a/test/libsolidity/smtCheckerTests/043_for_loop.sol b/test/libsolidity/smtCheckerTests/for_loop_3.sol
index 8bf9bdc7..8bf9bdc7 100644
--- a/test/libsolidity/smtCheckerTests/043_for_loop.sol
+++ b/test/libsolidity/smtCheckerTests/for_loop_3.sol
diff --git a/test/libsolidity/smtCheckerTests/044_for_loop.sol b/test/libsolidity/smtCheckerTests/for_loop_4.sol
index 4d082026..4d082026 100644
--- a/test/libsolidity/smtCheckerTests/044_for_loop.sol
+++ b/test/libsolidity/smtCheckerTests/for_loop_4.sol
diff --git a/test/libsolidity/smtCheckerTests/045_for_loop.sol b/test/libsolidity/smtCheckerTests/for_loop_5.sol
index 2c84960f..2c84960f 100644
--- a/test/libsolidity/smtCheckerTests/045_for_loop.sol
+++ b/test/libsolidity/smtCheckerTests/for_loop_5.sol
diff --git a/test/libsolidity/smtCheckerTests/046_for_loop.sol b/test/libsolidity/smtCheckerTests/for_loop_6.sol
index 90c4c328..90c4c328 100644
--- a/test/libsolidity/smtCheckerTests/046_for_loop.sol
+++ b/test/libsolidity/smtCheckerTests/for_loop_6.sol
diff --git a/test/libsolidity/smtCheckerTests/008_function_call_does_not_clear_local_vars.sol b/test/libsolidity/smtCheckerTests/function_call_does_not_clear_local_vars.sol
index b4260224..b4260224 100644
--- a/test/libsolidity/smtCheckerTests/008_function_call_does_not_clear_local_vars.sol
+++ b/test/libsolidity/smtCheckerTests/function_call_does_not_clear_local_vars.sol
diff --git a/test/libsolidity/smtCheckerTests/005_simple_assert.sol b/test/libsolidity/smtCheckerTests/simple_assert.sol
index 8bd6e61a..8bd6e61a 100644
--- a/test/libsolidity/smtCheckerTests/005_simple_assert.sol
+++ b/test/libsolidity/smtCheckerTests/simple_assert.sol
diff --git a/test/libsolidity/smtCheckerTests/006_simple_assert_with_require.sol b/test/libsolidity/smtCheckerTests/simple_assert_with_require.sol
index b66ae245..b66ae245 100644
--- a/test/libsolidity/smtCheckerTests/006_simple_assert_with_require.sol
+++ b/test/libsolidity/smtCheckerTests/simple_assert_with_require.sol
diff --git a/test/libsolidity/smtCheckerTests/002_simple_overflow.sol b/test/libsolidity/smtCheckerTests/simple_overflow.sol
index 894ff1a4..894ff1a4 100644
--- a/test/libsolidity/smtCheckerTests/002_simple_overflow.sol
+++ b/test/libsolidity/smtCheckerTests/simple_overflow.sol
diff --git a/test/libsolidity/smtCheckerTests/001_smoke.test.sol b/test/libsolidity/smtCheckerTests/smoke_test.sol
index 8b7b77da..8b7b77da 100644
--- a/test/libsolidity/smtCheckerTests/001_smoke.test.sol
+++ b/test/libsolidity/smtCheckerTests/smoke_test.sol
diff --git a/test/libsolidity/smtCheckerTests/029_storage_value_vars.sol b/test/libsolidity/smtCheckerTests/storage_value_vars_1.sol
index 84f6c77e..84f6c77e 100644
--- a/test/libsolidity/smtCheckerTests/029_storage_value_vars.sol
+++ b/test/libsolidity/smtCheckerTests/storage_value_vars_1.sol
diff --git a/test/libsolidity/smtCheckerTests/030_storage_value_vars.sol b/test/libsolidity/smtCheckerTests/storage_value_vars_2.sol
index bceddb38..bceddb38 100644
--- a/test/libsolidity/smtCheckerTests/030_storage_value_vars.sol
+++ b/test/libsolidity/smtCheckerTests/storage_value_vars_2.sol
diff --git a/test/libsolidity/smtCheckerTests/031_storage_value_vars.sol b/test/libsolidity/smtCheckerTests/storage_value_vars_3.sol
index 39049b99..39049b99 100644
--- a/test/libsolidity/smtCheckerTests/031_storage_value_vars.sol
+++ b/test/libsolidity/smtCheckerTests/storage_value_vars_3.sol
diff --git a/test/libsolidity/smtCheckerTests/032_storage_value_vars.sol b/test/libsolidity/smtCheckerTests/storage_value_vars_4.sol
index 88b6b0ae..88b6b0ae 100644
--- a/test/libsolidity/smtCheckerTests/032_storage_value_vars.sol
+++ b/test/libsolidity/smtCheckerTests/storage_value_vars_4.sol
diff --git a/test/libsolidity/smtCheckerTests/004_warn_on_struct.sol b/test/libsolidity/smtCheckerTests/warn_on_struct.sol
index c50df07a..c50df07a 100644
--- a/test/libsolidity/smtCheckerTests/004_warn_on_struct.sol
+++ b/test/libsolidity/smtCheckerTests/warn_on_struct.sol
diff --git a/test/libsolidity/smtCheckerTests/003_warn_on_typecast.sol b/test/libsolidity/smtCheckerTests/warn_on_typecast.sol
index be785414..be785414 100644
--- a/test/libsolidity/smtCheckerTests/003_warn_on_typecast.sol
+++ b/test/libsolidity/smtCheckerTests/warn_on_typecast.sol
diff --git a/test/libsolidity/smtCheckerTests/017_ways_to_merge_variables.sol b/test/libsolidity/smtCheckerTests/ways_to_merge_variables_1.sol
index 16d6fdfe..16d6fdfe 100644
--- a/test/libsolidity/smtCheckerTests/017_ways_to_merge_variables.sol
+++ b/test/libsolidity/smtCheckerTests/ways_to_merge_variables_1.sol
diff --git a/test/libsolidity/smtCheckerTests/018_ways_to_merge_variables.sol b/test/libsolidity/smtCheckerTests/ways_to_merge_variables_2.sol
index e25ab20f..e25ab20f 100644
--- a/test/libsolidity/smtCheckerTests/018_ways_to_merge_variables.sol
+++ b/test/libsolidity/smtCheckerTests/ways_to_merge_variables_2.sol
diff --git a/test/libsolidity/smtCheckerTests/019_ways_to_merge_variables.sol b/test/libsolidity/smtCheckerTests/ways_to_merge_variables_3.sol
index 03ae7216..03ae7216 100644
--- a/test/libsolidity/smtCheckerTests/019_ways_to_merge_variables.sol
+++ b/test/libsolidity/smtCheckerTests/ways_to_merge_variables_3.sol
diff --git a/test/libsolidity/smtCheckerTests/033_while_loop_simple.sol b/test/libsolidity/smtCheckerTests/while_loop_simple_1.sol
index 074be86f..074be86f 100644
--- a/test/libsolidity/smtCheckerTests/033_while_loop_simple.sol
+++ b/test/libsolidity/smtCheckerTests/while_loop_simple_1.sol
diff --git a/test/libsolidity/smtCheckerTests/034_while_loop_simple.sol b/test/libsolidity/smtCheckerTests/while_loop_simple_2.sol
index 92a3f0fe..92a3f0fe 100644
--- a/test/libsolidity/smtCheckerTests/034_while_loop_simple.sol
+++ b/test/libsolidity/smtCheckerTests/while_loop_simple_2.sol
diff --git a/test/libsolidity/smtCheckerTests/035_while_loop_simple.sol b/test/libsolidity/smtCheckerTests/while_loop_simple_3.sol
index a37df888..a37df888 100644
--- a/test/libsolidity/smtCheckerTests/035_while_loop_simple.sol
+++ b/test/libsolidity/smtCheckerTests/while_loop_simple_3.sol
diff --git a/test/libsolidity/smtCheckerTests/036_while_loop_simple.sol b/test/libsolidity/smtCheckerTests/while_loop_simple_4.sol
index f71da865..f71da865 100644
--- a/test/libsolidity/smtCheckerTests/036_while_loop_simple.sol
+++ b/test/libsolidity/smtCheckerTests/while_loop_simple_4.sol
diff --git a/test/libsolidity/smtCheckerTests/037_while_loop_simple.sol b/test/libsolidity/smtCheckerTests/while_loop_simple_5.sol
index 41559c99..41559c99 100644
--- a/test/libsolidity/smtCheckerTests/037_while_loop_simple.sol
+++ b/test/libsolidity/smtCheckerTests/while_loop_simple_5.sol