diff options
Diffstat (limited to 'test/libsolidity/smtCheckerTests')
| -rw-r--r-- | test/libsolidity/smtCheckerTests/assignment_in_declaration.sol (renamed from test/libsolidity/smtCheckerTests/007_assignment_in_declaration.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/bool_int_mixed_1.sol (renamed from test/libsolidity/smtCheckerTests/026_bool_int_mixed.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/bool_int_mixed_2.sol (renamed from test/libsolidity/smtCheckerTests/027_bool_int_mixed.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/bool_int_mixed_3.sol (renamed from test/libsolidity/smtCheckerTests/028_bool_int_mixed.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/bool_simple_1.sol (renamed from test/libsolidity/smtCheckerTests/020_bool_simple.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/bool_simple_2.sol (renamed from test/libsolidity/smtCheckerTests/021_bool_simple.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/bool_simple_3.sol (renamed from test/libsolidity/smtCheckerTests/022_bool_simple.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/bool_simple_4.sol (renamed from test/libsolidity/smtCheckerTests/023_bool_simple.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/bool_simple_5.sol (renamed from test/libsolidity/smtCheckerTests/024_bool_simple.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/bool_simple_6.sol (renamed from test/libsolidity/smtCheckerTests/025_bool_simple.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/branches_assert_condition_1.sol (renamed from test/libsolidity/smtCheckerTests/015_branches_assert_condition.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/branches_assert_condition_2.sol (renamed from test/libsolidity/smtCheckerTests/016_branches_assert_condition.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/branches_merge_variables_1.sol (renamed from test/libsolidity/smtCheckerTests/009_branches_merge_variables.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/branches_merge_variables_2.sol (renamed from test/libsolidity/smtCheckerTests/010_branches_merge_variables.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/branches_merge_variables_3.sol (renamed from test/libsolidity/smtCheckerTests/011_branches_merge_variables.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/branches_merge_variables_4.sol (renamed from test/libsolidity/smtCheckerTests/012_branches_merge_variables.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/branches_merge_variables_5.sol (renamed from test/libsolidity/smtCheckerTests/013_branches_merge_variables.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/branches_merge_variables_6.sol (renamed from test/libsolidity/smtCheckerTests/014_branches_merge_variables.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/constant_condition_1.sol (renamed from test/libsolidity/smtCheckerTests/038_constant_condition.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/constant_condition_2.sol (renamed from test/libsolidity/smtCheckerTests/039_constant_condition.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/constant_condition_3.sol (renamed from test/libsolidity/smtCheckerTests/040_constant_condition.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/for_loop_1.sol (renamed from test/libsolidity/smtCheckerTests/041_for_loop.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/for_loop_2.sol (renamed from test/libsolidity/smtCheckerTests/042_for_loop.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/for_loop_3.sol (renamed from test/libsolidity/smtCheckerTests/043_for_loop.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/for_loop_4.sol (renamed from test/libsolidity/smtCheckerTests/044_for_loop.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/for_loop_5.sol (renamed from test/libsolidity/smtCheckerTests/045_for_loop.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/for_loop_6.sol (renamed from test/libsolidity/smtCheckerTests/046_for_loop.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/function_call_does_not_clear_local_vars.sol (renamed from test/libsolidity/smtCheckerTests/008_function_call_does_not_clear_local_vars.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/simple_assert.sol (renamed from test/libsolidity/smtCheckerTests/005_simple_assert.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/simple_assert_with_require.sol (renamed from test/libsolidity/smtCheckerTests/006_simple_assert_with_require.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/simple_overflow.sol (renamed from test/libsolidity/smtCheckerTests/002_simple_overflow.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/smoke_test.sol (renamed from test/libsolidity/smtCheckerTests/001_smoke.test.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/storage_value_vars_1.sol (renamed from test/libsolidity/smtCheckerTests/029_storage_value_vars.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/storage_value_vars_2.sol (renamed from test/libsolidity/smtCheckerTests/030_storage_value_vars.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/storage_value_vars_3.sol (renamed from test/libsolidity/smtCheckerTests/031_storage_value_vars.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/storage_value_vars_4.sol (renamed from test/libsolidity/smtCheckerTests/032_storage_value_vars.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/warn_on_struct.sol (renamed from test/libsolidity/smtCheckerTests/004_warn_on_struct.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/warn_on_typecast.sol (renamed from test/libsolidity/smtCheckerTests/003_warn_on_typecast.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/ways_to_merge_variables_1.sol (renamed from test/libsolidity/smtCheckerTests/017_ways_to_merge_variables.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/ways_to_merge_variables_2.sol (renamed from test/libsolidity/smtCheckerTests/018_ways_to_merge_variables.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/ways_to_merge_variables_3.sol (renamed from test/libsolidity/smtCheckerTests/019_ways_to_merge_variables.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/while_loop_simple_1.sol (renamed from test/libsolidity/smtCheckerTests/033_while_loop_simple.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/while_loop_simple_2.sol (renamed from test/libsolidity/smtCheckerTests/034_while_loop_simple.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/while_loop_simple_3.sol (renamed from test/libsolidity/smtCheckerTests/035_while_loop_simple.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/while_loop_simple_4.sol (renamed from test/libsolidity/smtCheckerTests/036_while_loop_simple.sol) | 0 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/while_loop_simple_5.sol (renamed from test/libsolidity/smtCheckerTests/037_while_loop_simple.sol) | 0 |
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 |