diff --git a/manticore/platforms/evm.py b/manticore/platforms/evm.py index 8d85870125..1b82ac99ed 100644 --- a/manticore/platforms/evm.py +++ b/manticore/platforms/evm.py @@ -310,7 +310,7 @@ def sort(self): @sort.setter def sort(self, sort): if sort not in {"CREATE", "CALL", "DELEGATECALL"}: - raise EVMException("Invalid transaction type") + raise EVMException(f"Invalid transaction type: {sort}") self._sort = sort @property