Commit Graph

78 Commits

Author SHA1 Message Date
Ralf Jung
70a5bb7dbb force pointers before reborrowing; fixes cargo miri test suite 2019-07-10 14:36:56 +02:00
Ralf Jung
b3c3c33ebf bump the version of getrandom that we test 2019-07-06 10:07:21 +02:00
Ralf Jung
6c58d40a8d temporarily disable validation for 'cargo miri test' testing 2019-07-05 19:21:42 +02:00
Ralf Jung
0fac868685 support num_cpus and test that 2019-06-29 14:34:08 +02:00
Ralf Jung
4df5c6ac83 bump rand to released 0.7 2019-06-28 11:29:24 +02:00
Ralf Jung
f72f53c3ad bump rand so that the test passes 2019-06-12 18:30:05 +02:00
Ralf Jung
8f670e6b8b test rand a bit more 2019-06-12 18:19:50 +02:00
Ralf Jung
8212314441 fix tests 2019-05-17 15:03:34 +02:00
Ralf Jung
3618992a39 deduplicate tests 2019-05-15 18:12:58 +02:00
Ralf Jung
b7314369e2 make run-test runnable from other directories 2019-04-22 11:11:06 +02:00
Ralf Jung
8cb0b23c08 no need to allow any more 2019-04-22 11:08:53 +02:00
Ralf Jung
703b7f8a7e implement SecRandomCopyBytes for macOS RNG 2019-04-22 11:08:23 +02:00
Ralf Jung
7bb461362e Travis: test cargo miri on foreign arch 2019-04-21 22:35:47 +02:00
Ralf Jung
36e99a1bda remove some unneeded 'extern crate' 2019-04-18 16:16:32 +02:00
Ralf Jung
54039cafa8 try to really fix tests on macOS 2019-04-16 20:36:33 +02:00
Ralf Jung
341798f09d fix tests on macOS 2019-04-16 20:14:23 +02:00
Ralf Jung
59541d446a pick better test names 2019-04-16 20:12:55 +02:00
Ralf Jung
5761a0bf61 fix ref file 2019-04-16 19:55:22 +02:00
Ralf Jung
ba567d19f0 stub out pthread_atfork to that we support thread_rng() 2019-04-16 19:53:10 +02:00
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
35ed590075 also enable passing arguments through from cargo-miri 2019-02-09 20:00:40 +01:00
Ralf Jung
0802b3a108 implement passing arguments to the interpreted program 2019-02-09 20:00:40 +01:00
Ralf Jung
5766b32871 update test for cargo-miri 2019-02-07 13:03:03 +01:00
Ralf Jung
e10a26fd3c add a test for excluding tests on miri 2018-12-19 11:11:01 +01:00
Ralf Jung
bf846a637c test-cargo-miri: be more clear that and why the test failed 2018-12-19 11:05:21 +01:00
Ralf Jung
3e603c38d7 bump Rust version, fix test-cargo-miri and it no longer needs to disable validation 2018-12-18 18:40:06 +01:00
Ralf Jung
3fda8294bd test cargo miri test output when testing cargo miri 2018-12-11 17:43:12 +01:00
Ralf Jung
f044205b5f the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds 2018-12-10 10:04:55 +01:00