solang-parser-0.2.1
Platform
Feature flags

docs.rs

Rust

solang-parser 0.2.1

Solang Solidity Parser

Crate
Source
Builds
Feature flags

..
args
err
exit
input.sol

--model-checker-engine all --model-checker-contracts :C