BTC Machine:

	* Bug fix in case the memory is not symbolic

New testing scenario for symbolic execution

symbolic_execution/hardware/machines/btc_machine.py

@@ -436,7 +436,7 @@ class BTCMachine(IStackBasedMachine, IRAMBasedMachine, ISymbolicMachine):
                 Int(f"initial_element_count_on_stack_{i}") for i in range(stack_count)
             ]
         else:
-            self._stack_sizes = [0 for _ in range(stack_count)]
+            self._stack_sizes = [IntVal(0) for _ in range(stack_count)]
 
         # Memory position: btc memory works as a stack, keep track of the top of the mem
         # In case of symbolic execution, all paths are explored in parallel and merged

tests/language/bitcoin/symbolic/testing_scenarii.py

@@ -220,4 +220,9 @@ TESTING_SCENARII = [
         Satifiability.SATISFIABLE,
         "210317797cd3d79845d38b99e7c9d0e2a1d79eadeb6d0842c4e0ee96cc26649c1dbfac7c82926321023a92182ba3b37e356e7bd2618b77d7d3b57788f3be26efdff0dbe95007de315bad0164b16892935187",
     ),
+    TestScenario(
+        "8face4c965936e5fe925672bcbf6781f745abc5da54ca881c9206cca69ff6eb4",
+        Satifiability.SATISFIABLE,
+        "6b6b76a914cc96c8ef296098a84ba26703bfdb5ea7b41ebfb38764011f7c75678276600113a56960947c75686c76a91486300992752627044d5e396aa40369b502b182158764011f7c75678276600113a56960947c75686c76a9145c71f93692e3eb56580208cbab207fcaf25546308764011f7c75678276600113a56960947c756893937653a2635394687653a2635394687400a063760087637521024dd2c165f16acecbbe1a9d2fb66e53b3fb2e8c050e3d0bae2dd1fb8ee98e433fad68687400a0637651876375210382a15ee5b2c00ec9b5dfbcf8ba1cb76bd00f92ae29bee07632b4e8dac05f4d4ead68687400a06376528763752103deed212550981af36acb2faf7909e00e1417b32a8253a5ec120dde3fd90ddbb4ad68687453a26360b26d5321024dd2c165f16acecbbe1a9d2fb66e53b3fb2e8c050e3d0bae2dd1fb8ee98e433f210382a15ee5b2c00ec9b5dfbcf8ba1cb76bd00f92ae29bee07632b4e8dac05f4d4e2103deed212550981af36acb2faf7909e00e1417b32a8253a5ec120dde3fd90ddbb453ae675168"
+    ),
 ]