Ralf Jung 280394d366 cargo update		2020-04-10 10:28:45 +02:00
..
src	support num_cpus and test that	2019-06-29 14:34:08 +02:00
tests	platform -> target	2020-03-22 08:55:39 +01: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	2020-04-10 10:28:45 +02:00
Cargo.toml	more implicit	2019-08-28 09:27:19 +02:00
run-test.py	run-test.py: also print what we are testing for	2020-03-22 09:04:10 +01: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	use recommended test exclusion technique in test	2019-12-07 11:55:19 +01:00
test.stdout.ref2	use recommended test exclusion technique in test	2019-12-07 11:55:19 +01:00
test.stdout.ref3	use recommended test exclusion technique in test	2019-12-07 11:55:19 +01:00