You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm trying to use an old version of solc that has different command line arguments than what manticore expects. I am getting this error when running manticore ./contract.sol
Failed to build contract None Errors : Invalid solc compilation Invalid option to --combined-json: abi
. Solidity failed to generate bytecode for your contract. Check if all the abstract functions are implemented.
Process Process-1:
Traceback (most recent call last):
File "/usr/lib/python3.8/multiprocessing/process.py", line 315, in _bootstrap
self.run()
File "/usr/lib/python3.8/multiprocessing/process.py", line 108, in run
self._target(*self._args, **self._kwargs)
File "/home/ubuntu/manticore/manticore/ethereum/manticore.py", line 1766, in worker_finalize
finalizer(q.get_nowait())
File "/home/ubuntu/manticore/manticore/ethereum/manticore.py", line 1757, in finalizer
if only_alive_states and last_tx.result in {"REVERT", "THROW", "TXERROR"}:
AttributeError: 'NoneType' object has no attribute 'result'
2022-05-09 04:40:40,771: [98761] m.c.manticore:INFO: Results in /home/ubuntu/mcore_34y_i2s_
2022-05-09 04:40:40,771: [98761] m.c.manticore:WARNING: Manticore failed to run
The arguments format that this version of solc expects is --combined-json: json-abi I would like to update these arguments but cannot find where these arguments are specified in the manticore codebase.
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
I'm trying to use an old version of
solc
that has different command line arguments than what manticore expects. I am getting this error when runningmanticore ./contract.sol
The arguments format that this version of
solc
expects is--combined-json: json-abi
I would like to update these arguments but cannot find where these arguments are specified in the manticore codebase.Beta Was this translation helpful? Give feedback.
All reactions