]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: af92b04) | patch
make ./miri run a bit more silent; add option to control seeds tested by many-seeds
authorRalf Jung <post@ralfj.de>
Mon, 28 Nov 2022 07:40:41 +0000 (08:40 +0100)
committerRalf Jung <post@ralfj.de>
Mon, 28 Nov 2022 07:53:14 +0000 (08:53 +0100)
commitad9784eb3d5f4d68a378fce07d4c8707129310d9
tree26eb64ac2d2527fc907a4b42235a69c4aa7489c2tree | snapshot
parentaf92b048555a8c3df2e58237e878dfe73bbc4edecommit | diff
make ./miri run a bit more silent; add option to control seeds tested by many-seeds
src/tools/miri/cargo-miri/src/setup.rs diff | blob | history
src/tools/miri/miri diff | blob | history
Empowering everyone to build reliable and efficient software.