solang-parser 0.2.1

Solang Solidity Parser
Documentation
1
Invalid option for --model-checker-contracts: :A