Update rubixi tests after increasing the solver timeout

tests/testdata/outputs_expected/rubixi.sol.o.json

@@ -12,12 +12,20 @@
         },
         {
             "title": "Ether send",
-            "description": "In the function `_function_0x686f2c90` a non-zero amount of Ether is sent to an address taken from storage slot 5.\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\n\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\nThere is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.",
-            "function": "_function_0x686f2c90",
+            "description": "In the function `_function_0xb4022950` a non-zero amount of Ether is sent to an address taken from storage slot 5.\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\n\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\nThere is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\nThere is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.",
+            "function": "_function_0xb4022950",
             "type": "Warning",
             "address": 1940,
             "debug": "<DEBUG-DATA>"
         },
+        {
+            "title": "Ether send",
+            "description": "In the function `_function_0xb4022950` a non-zero amount of Ether is sent to an address taken from storage slot 5.\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\n\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\nThere is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\nThere is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.\nThere is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.",
+            "function": "_function_0xb4022950",
+            "type": "Warning",
+            "address": 2582,
+            "debug": "<DEBUG-DATA>"
+        },
         {
             "title": "Exception state",
             "description": "A reachable exception (opcode 0xfe) has been detected. This can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. This is acceptable in most situations. Note however that `assert()` should only be used to check invariants. Use `require()` for regular input checking. ",
@@ -34,14 +42,6 @@
             "address": 2085,
             "debug": "<DEBUG-DATA>"
         },
-        {
-            "title": "Integer Overflow ",
-            "description": "A possible integer overflow exists in the function `_function_0xfae14192`.\nThe addition or multiplication may result in a value higher than the maximum representable integer.",
-            "function": "_function_0xfae14192",
-            "type": "Warning",
-            "address": 1223,
-            "debug": "<DEBUG-DATA>"
-        },
         {
             "title": "Unchecked CALL return value",
             "description": "The return value of an external call is not checked. Note that execution continue even if the called contract throws.",

tests/testdata/outputs_expected/rubixi.sol.o.markdown

@@ -19,16 +19,36 @@ There is a check on storage index 1. This storage slot can be written to by call
 
 - Type: Warning
 - Contract: Unknown
-- Function name: `_function_0x686f2c90`
+- Function name: `_function_0xb4022950`
 - PC address: 1940
 
 ### Description
 
-In the function `_function_0x686f2c90` a non-zero amount of Ether is sent to an address taken from storage slot 5.
+In the function `_function_0xb4022950` a non-zero amount of Ether is sent to an address taken from storage slot 5.
 There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.
 
 There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.
 There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.
+There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.
+There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.
+
+## Ether send
+
+- Type: Warning
+- Contract: Unknown
+- Function name: `_function_0xb4022950`
+- PC address: 2582
+
+### Description
+
+In the function `_function_0xb4022950` a non-zero amount of Ether is sent to an address taken from storage slot 5.
+There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.
+
+There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.
+There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.
+There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.
+There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.
+There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.
 
 ## Exception state
 
@@ -52,18 +72,6 @@ A reachable exception (opcode 0xfe) has been detected. This can be caused by typ
 
 A reachable exception (opcode 0xfe) has been detected. This can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. This is acceptable in most situations. Note however that `assert()` should only be used to check invariants. Use `require()` for regular input checking. 
 
-## Integer Overflow 
-
-- Type: Warning
-- Contract: Unknown
-- Function name: `_function_0xfae14192`
-- PC address: 1223
-
-### Description
-
-A possible integer overflow exists in the function `_function_0xfae14192`.
-The addition or multiplication may result in a value higher than the maximum representable integer.
-
 ## Unchecked CALL return value
 
 - Type: Informational

tests/testdata/outputs_expected/rubixi.sol.o.text

@@ -13,15 +13,32 @@ There is a check on storage index 1. This storage slot can be written to by call
 ==== Ether send ====
 Type: Warning
 Contract: Unknown
-Function name: _function_0x686f2c90
+Function name: _function_0xb4022950
 PC address: 1940
-In the function `_function_0x686f2c90` a non-zero amount of Ether is sent to an address taken from storage slot 5.
+In the function `_function_0xb4022950` a non-zero amount of Ether is sent to an address taken from storage slot 5.
 There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.
 
+There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.
+There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.
 There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.
 There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.
 --------------------
 
+==== Ether send ====
+Type: Warning
+Contract: Unknown
+Function name: _function_0xb4022950
+PC address: 2582
+In the function `_function_0xb4022950` a non-zero amount of Ether is sent to an address taken from storage slot 5.
+There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.
+
+There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.
+There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.
+There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.
+There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.
+There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.
+--------------------
+
 ==== Exception state ====
 Type: Informational
 Contract: Unknown
@@ -38,15 +55,6 @@ PC address: 2085
 A reachable exception (opcode 0xfe) has been detected. This can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. This is acceptable in most situations. Note however that `assert()` should only be used to check invariants. Use `require()` for regular input checking. 
 --------------------
 
-==== Integer Overflow  ====
-Type: Warning
-Contract: Unknown
-Function name: _function_0xfae14192
-PC address: 1223
-A possible integer overflow exists in the function `_function_0xfae14192`.
-The addition or multiplication may result in a value higher than the maximum representable integer.
---------------------
-
 ==== Unchecked CALL return value ====
 Type: Informational
 Contract: Unknown