3 Commits

Author	SHA1	Message	Date
Ralf Jung	ac454a2485	cargo-miri: allow overwriting miri command, and make that consistent with compiletest	2020-05-28 08:53:44 +02:00
Ralf Jung	254fc50bc1	fmt	2020-05-28 08:53:44 +02:00
Ralf Jung	0790f75ae4	make cargo-miri a separate crate in a workspace	2020-05-28 08:53:44 +02:00