Update tests

2023-10-03 13:03:40 +00:00 · 2020-09-22 20:51:28 +02:00 · 2020-09-22 20:51:28 +02:00 · f4ee4cd479
commit f4ee4cd479
parent 709d25bd3d
15 changed files with 0 additions and 35 deletions
--- a/test/libsolidity/smtCheckerTests/control_flow/function_call_inside_branch.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/function_call_inside_branch.sol
@ -15,6 +15,3 @@ contract C
 	}
 }
 // ----
-// Warning 5084: (208-218): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (123-133): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (208-218): Type conversion is not yet fully supported and might yield false positives.
--- a/test/libsolidity/smtCheckerTests/control_flow/function_call_inside_branch_2.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/function_call_inside_branch_2.sol
@ -20,8 +20,3 @@ contract C
 	}
 }
 // ----
-// Warning 5084: (271-281): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (123-133): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (271-281): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (186-196): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (271-281): Type conversion is not yet fully supported and might yield false positives.
--- a/test/libsolidity/smtCheckerTests/control_flow/function_call_inside_branch_3.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/function_call_inside_branch_3.sol
@ -20,8 +20,3 @@ contract C
 	}
 }
 // ----
-// Warning 5084: (275-285): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (123-133): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (275-285): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (189-199): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (275-285): Type conversion is not yet fully supported and might yield false positives.
--- a/test/libsolidity/smtCheckerTests/control_flow/function_call_inside_branch_4.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/function_call_inside_branch_4.sol
@ -25,7 +25,3 @@ contract C

 }
 // ----
-// Warning 5084: (275-285): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (123-133): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (189-199): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (275-285): Type conversion is not yet fully supported and might yield false positives.
--- a/test/libsolidity/smtCheckerTests/control_flow/function_call_inside_else_branch.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/function_call_inside_else_branch.sol
@ -16,6 +16,3 @@ contract C
 	}
 }
 // ----
-// Warning 5084: (219-229): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (134-144): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (219-229): Type conversion is not yet fully supported and might yield false positives.
--- a/test/libsolidity/smtCheckerTests/control_flow/function_call_inside_modifier_branch.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/function_call_inside_modifier_branch.sol
@ -19,6 +19,3 @@ contract C
 	}
 }
 // ----
-// Warning 5084: (249-259): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (118-128): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (249-259): Type conversion is not yet fully supported and might yield false positives.
--- a/test/libsolidity/smtCheckerTests/control_flow/function_call_inside_placeholder_inside_modifier_branch.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/function_call_inside_placeholder_inside_modifier_branch.sol
@ -20,6 +20,3 @@ contract C
 	}
 }
 // ----
-// Warning 5084: (247-257): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (162-172): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (247-257): Type conversion is not yet fully supported and might yield false positives.
--- a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state.sol
+++ b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state.sol
@ -35,4 +35,3 @@ contract C {
 }
 // ----
 // Warning 6328: (528-565): Assertion violation happens here.
-// Warning 5084: (544-554): Type conversion is not yet fully supported and might yield false positives.
--- a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy_indirect.sol
+++ b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy_indirect.sol
@ -44,4 +44,3 @@ contract C {
 // ----
 // Warning 6328: (452-466): Assertion violation happens here.
 // Warning 6328: (470-496): Assertion violation happens here.
-// Warning 5084: (92-102): Type conversion is not yet fully supported and might yield false positives.
--- a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy_unsafe.sol
+++ b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy_unsafe.sol
@ -36,4 +36,3 @@ contract C {
 // ----
 // Warning 6328: (381-395): Assertion violation happens here.
 // Warning 6328: (399-425): Assertion violation happens here.
-// Warning 5084: (116-126): Type conversion is not yet fully supported and might yield false positives.
--- a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_unsafe.sol
+++ b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_unsafe.sol
@ -40,4 +40,3 @@ contract C {
 // ----
 // Warning 6328: (435-461): Assertion violation happens here.
 // Warning 6328: (594-631): Assertion violation happens here.
-// Warning 5084: (610-620): Type conversion is not yet fully supported and might yield false positives.
--- a/test/libsolidity/smtCheckerTests/functions/function_external_call_should_not_inline_1.sol
+++ b/test/libsolidity/smtCheckerTests/functions/function_external_call_should_not_inline_1.sol
@ -13,4 +13,3 @@ contract C {
 	}
 }
 // ----
-// Warning 5084: (198-208): Type conversion is not yet fully supported and might yield false positives.
--- a/test/libsolidity/smtCheckerTests/functions/function_external_call_should_not_inline_2.sol
+++ b/test/libsolidity/smtCheckerTests/functions/function_external_call_should_not_inline_2.sol
@ -13,4 +13,3 @@ contract C {
 	}
 }
 // ----
-// Warning 5084: (107-117): Type conversion is not yet fully supported and might yield false positives.
--- a/test/libsolidity/smtCheckerTests/special/msg_sender_2.sol
+++ b/test/libsolidity/smtCheckerTests/special/msg_sender_2.sol
@ -10,4 +10,3 @@ contract C
 	}
 }
 // ----
-// Warning 5084: (98-108): Type conversion is not yet fully supported and might yield false positives.
--- a/test/libsolidity/smtCheckerTests/typecast/cast_address_1.sol
+++ b/test/libsolidity/smtCheckerTests/typecast/cast_address_1.sol
@ -8,5 +8,3 @@ contract C
 	}
 }
 // ----
-// Warning 5084: (98-108): Type conversion is not yet fully supported and might yield false positives.
-// Warning 5084: (125-135): Type conversion is not yet fully supported and might yield false positives.