Ralf Jung 70a5bb7dbb force pointers before reborrowing; fixes cargo miri test suite		2019-07-10 14:36:56 +02:00
..
src	support num_cpus and test that	2019-06-29 14:34:08 +02:00
tests	support num_cpus and test that	2019-06-29 14:34:08 +02:00
.gitignore
Cargo.lock	bump the version of getrandom that we test	2019-07-06 10:07:21 +02:00
Cargo.toml	support num_cpus and test that	2019-06-29 14:34:08 +02:00
run-test.py	force pointers before reborrowing; fixes cargo miri test suite	2019-07-10 14:36:56 +02:00
stderr.ref	implement passing arguments to the interpreted program	2019-02-09 20:00:40 +01:00
stderr.ref2	also enable passing arguments through from cargo-miri	2019-02-09 20:00:40 +01:00
stdout.ref
test.stderr.ref	test cargo miri test output when testing cargo miri	2018-12-11 17:43:12 +01:00
test.stdout.ref	support num_cpus and test that	2019-06-29 14:34:08 +02:00
test.stdout.ref2	support num_cpus and test that	2019-06-29 14:34:08 +02:00