Verification

Verification#

r2u2_core is verified with Verus. To run verification, one must do the following:

  1. Install Verus

  2. Locate to the r2u2_core directory

  3. Run cargo build -v and copy all dependencies after -L on the last output EXCEPT for vstd

  4. Run Verus with the following:

<path_to_verus>/target-verus/release/verus --crate-type=lib src/lib.rs --compile -L <dependency_paths_copied>