Skip to content

Verify `cmp_by_line` with `kani` model checker

Jan Riemerrequested to merge
verify-cmp-by-line-with-kani into main

This formally verifies DiffByteRecord::cmp_by_line with kani model checker.

Prerequisites:

  • Rust nightly
  • kani installed locally

See: https://model-checking.github.io/kani/install-guide.html

Tests can be executed with:

cargo kani

Merge request reports