This is the top-level directory for all cross-checking components, and contains the following:

  • A clang plugin that automatically inserts cross-check instrumentation into C code.

  • An equivalent rustc compiler plugin for Rust.

  • The libfakechecks cross-checking backend library that prints out all cross-checks to standard output. This library is supported by both the C and Rust compiler plugins.

  • Our experimental fork of the ReMon MVEE modified for C/Rust side-by-side checking, along with the mvee-configs directory that contains some MVEE configuration examples.