Fix some test naming, and refactor stdarch-verify
in general
#2587
This job was skipped
Loading
stdarch-verify
in general
#2587