GitHub repository: runtimeverification/mir-semantics-compiletest
Primary language: Rust
Description: Test suite for MIR semantics