46 files changed, 0 insertions, 0 deletions
diff --git a/test/libsolidity/smtCheckerTests/warn_on_struct.sol b/test/libsolidity/smtCheckerTests/complex/warn_on_struct.sol
index 6d9afe7c..6d9afe7c 100644
--- a/test/libsolidity/smtCheckerTests/warn_on_struct.sol
+++ b/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
index be785414..be785414 100644
--- a/test/libsolidity/smtCheckerTests/warn_on_typecast.sol
+++ b/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
index 0c701672..0c701672 100644
--- a/test/libsolidity/smtCheckerTests/assignment_in_declaration.sol
+++ b/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
index 64f6e012..64f6e012 100644
--- a/test/libsolidity/smtCheckerTests/branches_assert_condition_1.sol
+++ b/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
index e39ab844..e39ab844 100644
--- a/test/libsolidity/smtCheckerTests/branches_assert_condition_2.sol
+++ b/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
index f93e32e4..f93e32e4 100644
--- a/test/libsolidity/smtCheckerTests/branches_merge_variables_1.sol
+++ b/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
index c00ef787..c00ef787 100644
--- a/test/libsolidity/smtCheckerTests/branches_merge_variables_2.sol
+++ b/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
index 4e18aa88..4e18aa88 100644
--- a/test/libsolidity/smtCheckerTests/branches_merge_variables_3.sol
+++ b/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
index e3a02704..e3a02704 100644
--- a/test/libsolidity/smtCheckerTests/branches_merge_variables_4.sol
+++ b/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
index 0bd1cf3a..0bd1cf3a 100644
--- a/test/libsolidity/smtCheckerTests/branches_merge_variables_5.sol
+++ b/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
index 8e477179..8e477179 100644
--- a/test/libsolidity/smtCheckerTests/branches_merge_variables_6.sol
+++ b/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
index 16d6fdfe..16d6fdfe 100644
--- a/test/libsolidity/smtCheckerTests/ways_to_merge_variables_1.sol
+++ b/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
index e25ab20f..e25ab20f 100644
--- a/test/libsolidity/smtCheckerTests/ways_to_merge_variables_2.sol
+++ b/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
index 03ae7216..03ae7216 100644
--- a/test/libsolidity/smtCheckerTests/ways_to_merge_variables_3.sol
+++ b/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
index b4260224..b4260224 100644
--- 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
diff --git a/test/libsolidity/smtCheckerTests/for_loop_1.sol b/test/libsolidity/smtCheckerTests/loops/for_loop_1.sol
index 8988efad..8988efad 100644
--- a/test/libsolidity/smtCheckerTests/for_loop_1.sol
+++ b/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
index 58c9f3a7..58c9f3a7 100644
--- a/test/libsolidity/smtCheckerTests/for_loop_2.sol
+++ b/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
index 8bf9bdc7..8bf9bdc7 100644
--- a/test/libsolidity/smtCheckerTests/for_loop_3.sol
+++ b/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
index 4d082026..4d082026 100644
--- a/test/libsolidity/smtCheckerTests/for_loop_4.sol
+++ b/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
index 2c84960f..2c84960f 100644
--- a/test/libsolidity/smtCheckerTests/for_loop_5.sol
+++ b/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
index 90c4c328..90c4c328 100644
--- a/test/libsolidity/smtCheckerTests/for_loop_6.sol
+++ b/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
index 074be86f..074be86f 100644
--- a/test/libsolidity/smtCheckerTests/while_loop_simple_1.sol
+++ b/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
index 92a3f0fe..92a3f0fe 100644
--- a/test/libsolidity/smtCheckerTests/while_loop_simple_2.sol
+++ b/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
index a37df888..a37df888 100644
--- a/test/libsolidity/smtCheckerTests/while_loop_simple_3.sol
+++ b/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
index f71da865..f71da865 100644
--- a/test/libsolidity/smtCheckerTests/while_loop_simple_4.sol
+++ b/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
index 41559c99..41559c99 100644
--- a/test/libsolidity/smtCheckerTests/while_loop_simple_5.sol
+++ b/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
index 894ff1a4..894ff1a4 100644
--- a/test/libsolidity/smtCheckerTests/simple_overflow.sol
+++ b/test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol
diff --git a/test/libsolidity/smtCheckerTests/smoke_test.sol b/test/libsolidity/smtCheckerTests/simple/smoke_test.sol
index 8b7b77da..8b7b77da 100644
--- a/test/libsolidity/smtCheckerTests/smoke_test.sol
+++ b/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
index d611cc17..d611cc17 100644
--- a/test/libsolidity/smtCheckerTests/bool_int_mixed_1.sol
+++ b/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
index 24640c5a..24640c5a 100644
--- a/test/libsolidity/smtCheckerTests/bool_int_mixed_2.sol
+++ b/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
index f872e82f..f872e82f 100644
--- a/test/libsolidity/smtCheckerTests/bool_int_mixed_3.sol
+++ b/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
index 76b4b08b..76b4b08b 100644
--- a/test/libsolidity/smtCheckerTests/bool_simple_1.sol
+++ b/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
index 5c166c02..5c166c02 100644
--- a/test/libsolidity/smtCheckerTests/bool_simple_2.sol
+++ b/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
index 1d2ab49f..1d2ab49f 100644
--- a/test/libsolidity/smtCheckerTests/bool_simple_3.sol
+++ b/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
index c40404a4..c40404a4 100644
--- a/test/libsolidity/smtCheckerTests/bool_simple_4.sol
+++ b/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
index 4cecebbc..4cecebbc 100644
--- a/test/libsolidity/smtCheckerTests/bool_simple_5.sol
+++ b/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
index 90350bb6..90350bb6 100644
--- a/test/libsolidity/smtCheckerTests/bool_simple_6.sol
+++ b/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
index 84f6c77e..84f6c77e 100644
--- a/test/libsolidity/smtCheckerTests/storage_value_vars_1.sol
+++ b/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
index bceddb38..bceddb38 100644
--- a/test/libsolidity/smtCheckerTests/storage_value_vars_2.sol
+++ b/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
index 39049b99..39049b99 100644
--- a/test/libsolidity/smtCheckerTests/storage_value_vars_3.sol
+++ b/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
index 88b6b0ae..88b6b0ae 100644
--- a/test/libsolidity/smtCheckerTests/storage_value_vars_4.sol
+++ b/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
index b9fae4ee..b9fae4ee 100644
--- a/test/libsolidity/smtCheckerTests/constant_condition_1.sol
+++ b/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
index aaa613ea..aaa613ea 100644
--- a/test/libsolidity/smtCheckerTests/constant_condition_2.sol
+++ b/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
index f22cd65e..f22cd65e 100644
--- a/test/libsolidity/smtCheckerTests/constant_condition_3.sol
+++ b/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
index 8bd6e61a..8bd6e61a 100644
--- a/test/libsolidity/smtCheckerTests/simple_assert.sol
+++ b/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
index b66ae245..b66ae245 100644
--- a/test/libsolidity/smtCheckerTests/simple_assert_with_require.sol
+++ b/test/libsolidity/smtCheckerTests/verification_target/simple_assert_with_require.sol