epfl-lara / stainless

Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
353 stars 51 forks source link

Remove duplicated default value doc #1502

Closed shilangyu closed 7 months ago

shilangyu commented 7 months ago

Before this change the information about the default value was duplicated in the docs of --help:

[  Info  ] --strict-arithmetic[=true|false]                 Check arithmetic operations for unintended behavior and overflows (default: true) (default: true)

The default value notice is added later, outside of the description string.

CLAassistant commented 7 months ago

CLA assistant check
All committers have signed the CLA.

mario-bucev commented 7 months ago

Thanks for the catch! For some reason the CI is not running and I don't have the GH rights to merge a PR without it running :man_facepalming: I'll see if someone can do it.

samarion commented 7 months ago

There's an allowlist of users for which the larabot CI will run (somewhere int he larabot config). And it seems we've disabled force-push from GH completely, even for admins :)

@vkuncak I'll re-enable force push for administrators so we can merge this PR.