Still getting the issue of "AttributeError: Can't pickle local object 'ManticoreEVM.finalize.<locals>.worker_finalize'"

[upalchowdhury]

Summary of the problem

getting below error when running on a optimism contract

manticore contracts/echidna/FuzzBurn.sol --solc-remaps '@openzeppelin/contracts/=node_modules/@openzeppelin/contracts/ @openzeppelin/contracts-upgradeable/=node_modules/@openzeppelin/contracts-upgradeable/ @rari-capital/solmate/=node_modules/@rari-capital/solmate/ forge-std/=node_modules/forge-std/src/ ds-test/=node_modules/ds-test/src/' --exclude naming-convention WARNING:manticore.core.manticore:Manticore is only supported on Linux. Proceed at your own risk! 2023-06-08 14:27:01,657: [74758] m.main:INFO: Registered plugins: IntrospectionAPIPlugin, <class 'manticore.ethereum.plugins.SkipRevertBasicBlocks'>, <class 'manticore.ethereum.plugins.FilterFunctions'> 2023-06-08 14:27:01,657: [74758] m.main:INFO: Beginning analysis 2023-06-08 14:27:01,659: [74758] m.e.manticore:INFO: Starting symbolic create contract Traceback (most recent call last): File "/Users/upalc/opt/anaconda3/bin/manticore", line 8, in sys.exit(main()) File "/Users/upalc/opt/anaconda3/lib/python3.8/site-packages/manticore/main.py", line 43, in main ethereum_main(args, logger) File "/Users/upalc/opt/anaconda3/lib/python3.8/site-packages/manticore/ethereum/cli.py", line 145, in ethereum_main m.finalize(only_alive_states=args.only_alive_testcases) File "/Users/upalc/opt/anaconda3/lib/python3.8/site-packages/manticore/core/manticore.py", line 177, in newFunction return func(self, *args, **kw) File "/Users/upalc/opt/anaconda3/lib/python3.8/site-packages/manticore/ethereum/manticore.py", line 1779, in finalize proc.start() File "/Users/upalc/opt/anaconda3/lib/python3.8/multiprocessing/process.py", line 121, in start self._popen = self._Popen(self) File "/Users/upalc/opt/anaconda3/lib/python3.8/multiprocessing/context.py", line 224, in _Popen return _default_context.get_context().Process._Popen(process_obj) File "/Users/upalc/opt/anaconda3/lib/python3.8/multiprocessing/context.py", line 284, in _Popen return Popen(process_obj) File "/Users/upalc/opt/anaconda3/lib/python3.8/multiprocessing/popen_spawn_posix.py", line 32, in init super().init(process_obj) File "/Users/upalc/opt/anaconda3/lib/python3.8/multiprocessing/popen_fork.py", line 19, in init self._launch(process_obj) File "/Users/upalc/opt/anaconda3/lib/python3.8/multiprocessing/popen_spawn_posix.py", line 47, in _launch reduction.dump(process_obj, fp) File "/Users/upalc/opt/anaconda3/lib/python3.8/multiprocessing/reduction.py", line 60, in dump ForkingPickler(file, protocol).dump(obj) AttributeError: Can't pickle local object 'ManticoreEVM.finalize..worker_finalize'

Manticore version

Python version

3.8

OS / Environment

macOs ventura 13.0.1

Dependencies

Step to reproduce the behavior

Expected behavior

Actual behavior

Any relevant logs

ANother issue i am running into is while running the examples given in manticore repo,

python constraint.py > results.txt WARNING:manticore.core.manticore:Manticore is only supported on Linux. Proceed at your own risk! Traceback (most recent call last): File "constraint.py", line 10, in contract_account = m.solidity_create_contract(f, owner=user_account) File "/Users/upalc/opt/anaconda3/lib/python3.8/site-packages/manticore/ethereum/manticore.py", line 585, in solidity_create_contract compile_results = self._compile( File "/Users/upalc/opt/anaconda3/lib/python3.8/site-packages/manticore/ethereum/manticore.py", line 359, in _compile compilation_result = ManticoreEVM._compile_through_crytic_compile( File "/Users/upalc/opt/anaconda3/lib/python3.8/site-packages/manticore/ethereum/manticore.py", line 281, in _compile_through_crytic_compile if len(compilation_unit.contracts_names_without_libraries) > 1: AttributeError: 'CompilationUnit' object has no attribute 'contracts_names_without_libraries'

[upalchowdhury]

I have tried with latest version as well but no luck.