Mentions légales du service

Skip to content

add option `--ignore-shapes` to `why3 replay`

MARCHE Claude requested to merge add-option-ignore-shapes into master

This option will be useful when updating examples after a change in Why3 code or in the stdlib.

Merge request reports