miri-test-libstd: use --tests and update some comments #153722
+4
−14
Merged
Loading