viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.
http://prusti.org
Other
1.52k stars 103 forks source link

Help message for x.py #1469

Open fpoli opened 8 months ago

fpoli commented 8 months ago

The x.py script interprets its subcommands and arguments using some custom parsing rules, but discovering them is difficult because the script does not print any help message.