Ralf Jung 74635a57e2 re-do large parts of stacked borrows, now with proper support for partiall frozen data		2018-11-08 08:29:34 +01:00
..
src	fix format string to obtain desired output	2018-08-02 10:45:08 +02:00
tests	add tests for cargo miri and run them on travis	2017-01-28 11:57:53 +01:00
.gitignore	test cargo miri output	2018-07-26 16:43:51 +02:00
Cargo.lock	Update cargo-miri	2018-06-03 13:08:51 +02:00
Cargo.toml	add a dependency to cargo-miri-test	2017-06-29 14:00:24 -04:00
run-test.py	re-do large parts of stacked borrows, now with proper support for partiall frozen data	2018-11-08 08:29:34 +01:00
stderr.ref	test cargo miri output	2018-07-26 16:43:51 +02:00
stdout.ref	mem(r)chr is working in miri now	2018-08-02 00:17:02 +02:00