Ralf Jung 49fa8bfd72 cargo update for test-cargo-miri		2019-09-28 12:10:38 -04: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
build.rs	test that build scripts do not run in Miri	2019-08-28 09:15:31 +02:00
Cargo.lock	cargo update for test-cargo-miri	2019-09-28 12:10:38 -04:00
Cargo.toml	more implicit	2019-08-28 09:27:19 +02:00
run-test.py	Add cargo-miri test for no isolation	2019-08-29 10:13:02 -05: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
test.stdout.ref3	Add cargo-miri test for no isolation	2019-08-29 10:13:02 -05:00