Experiments in using the Galois' MIR verification tool
These are mostly just explorations of the tool but I am making them available in case they are useful to others.
This is a static simulator for Rust programs. It runs a set of test cases and attempts to prove that all assertions pass on all valid inputs.