A type error occurs when running mythril against a target contract: TypeError: 'NoneType' object is not iterable. Unfortunately, I cannot paste the target contract ...
Here is the command I am using: bigcodebench.evaluate --execution local --split complete --subset full --samples /scratch3/workspace/wenlongzhao_umass_edu-reason/dev ...