The README discusses a simple base project setup for Rust. Would others find it helpful to have a Makefile (and tooling target) and base project they could use (it would include Kani, Creusot, Bolero, etc.)? Or does someone already have a setup that they like (I have a few local setups, one with Creusot and one with Flux)?
The README discusses a simple base project setup for Rust. Would others find it helpful to have a Makefile (and
toolingtarget) and base project they could use (it would include Kani, Creusot, Bolero, etc.)? Or does someone already have a setup that they like (I have a few local setups, one with Creusot and one with Flux)?