refactoring: have the cargo creusot why3 {replay,prove}
subcommands be handled by cargo-creusot
#1016
Labels
cargo-creusot
Issue is related to the `cargo-creusot` and more generally the porcelain around creusot
This is a follow-up on #943 which performed this refactoring for the
why3 ide
subcommand.The same refactoring also makes sense for the
replay
andprove
subcommands, and would make the code more consistent.The text was updated successfully, but these errors were encountered: