add test for console.log with undecode string

src/halmos/console.py

@@ -108,4 +108,4 @@ def handle(ex, arg: BitVec) -> None:
             )
         except Exception as e:
             # we don't want to fail execution because of an issue during console.log
-            warn(f"console.handle: {repr(e)}")
+            warn(f"console.handle: {repr(e)} with arg={hexify(arg)}")

tests/expected/all.json

@@ -335,6 +335,15 @@
                 "time": null,
                 "num_bounded_loops": null
             },
+            {
+                "name": "check_log_undecodable_string()",
+                "exitcode": 0,
+                "num_models": 0,
+                "models": null,
+                "num_paths": null,
+                "time": null,
+                "num_bounded_loops": null
+            },
             {
                 "name": "check_log_unsupported()",
                 "exitcode": 0,

tests/regression/test/Console.t.sol

@@ -70,6 +70,12 @@ contract ConsoleTest is Test {
         console2.log(empty);
     }
 
+    function check_log_undecodable_string() public view {
+        bytes memory badBytes = hex"ff";
+        string memory bad = string(badBytes);
+        console2.log("this is a string that won't decode to utf-8:", bad);
+    }
+
     function check_log_unsupported() public {
         console2._sendLogPayload(abi.encodeWithSignature("doesNotExist()"));
     }