Fix some test naming, and refactor stdarch-verify
in general#1707
Merged
Amanieu merged 4 commits intorust-lang:masterfrom Feb 7, 2025
Merged
Fix some test naming, and refactor `stdarch-verify` in general#1707Amanieu merged 4 commits intorust-lang:masterfrom
Amanieu merged 4 commits intorust-lang:masterfrom