A type error occurs when running mythril against a target contract: TypeError: 'NoneType' object is not iterable. Unfortunately, I cannot paste the target contract ...
ともかく Error のひとつを以下に表記しますので解決法あれば教えてください。 (すべての Optimizer で同じエラーになります ...