Use fixed owner and attacker accounts in multi_tx_analysis (#2464)

trailofbits · Jul 6, 2021 · fb2765f · fb2765f
1 parent 2a56484
commit fb2765f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/manticore/ethereum/manticore.py b/manticore/ethereum/manticore.py
@@ -1065,8 +1065,8 @@ def multi_tx_analysis(
         args=None,
         compile_args=None,
     ):
-        owner_account = self.create_account(balance=10 ** 10, name="owner")
-        attacker_account = self.create_account(balance=10 ** 10, name="attacker")
+        owner_account = self.create_account(balance=10 ** 10, name="owner", address=0x10000)
+        attacker_account = self.create_account(balance=10 ** 10, name="attacker", address=0x20000)
         # Pretty print
         logger.info("Starting symbolic create contract")