Skip to content

Updated the test annotation

32f7db6
Select commit
Loading
Failed to load commit list.
Merged

Feat: Translate Dafny tests to Rust tests #5676

Updated the test annotation
32f7db6
Select commit
Loading
Failed to load commit list.