Skip to content

feat(test/lean): support self-tests from the C backend#973

Merged
Alasdair merged 5 commits intorems-project:sail2from RaitoBezarius:runnable-lean-testsFeb 12, 2025

Commits

Commits on Feb 11, 2025

Commits on Feb 12, 2025