3 Commits

Author	SHA1	Message	Date
Ralf Jung	bd4a772e1a	update cargo miri test to test rng crate a bit; this currently fails	2019-04-16 19:13:53 +02:00
Ralf Jung	5766b32871	update test for cargo-miri	2019-02-07 13:03:03 +01:00
Ralf Jung	3fda8294bd	test cargo miri test output when testing cargo miri	2018-12-11 17:43:12 +01:00