Ralf Jung
966d638760
make run-pass tests pass. tweak how we remove barriers.
2019-04-17 16:02:57 +02:00
Ralf Jung
6fdc75024b
Merge branch 'master' into rand
2019-04-16 20:55:58 +02:00
Ralf Jung
af2b42de0a
fix compile-fail test
2019-04-16 19:09:41 +02:00
Ralf Jung
ceca7c5020
tweak entropy tests a bit
2019-04-16 19:06:08 +02:00
Ralf Jung
378d9d4172
be pragmatic about ptr-int comparisons, for now
2019-04-16 17:47:37 +02:00
Ralf Jung
a246116bdc
rustup
2019-04-14 10:30:00 +02:00
Ralf Jung
aa79244b62
rustup
2019-04-12 22:15:55 +02:00
Ralf Jung
8de4f34a7f
Merge remote-tracking branch 'origin/master'
2019-04-11 22:09:09 +02:00
Ralf Jung
83d199eb86
fix async-fn test
2019-04-10 17:20:54 +02:00
Aaron Hill
a8763f3d8d
Don't create HashMap<K, V> when not needed
2019-04-09 23:36:27 -04:00
Oliver Scherer
2eb2c8dd57
Merge branch 'master' into feature/random
2019-04-09 21:58:15 +02:00
Aaron Hill
ae8e7f654a
Fix compile-fail error message
2019-04-09 10:19:29 -04:00
Aaron Hill
9243680588
Use 'ignore-' instead of 'only-'
...
Apparently 'ignore-' doesn't work with compiletest_rs
2019-04-08 23:52:33 -04:00
Aaron Hill
5e07ff6b1f
Only run 'getrandom' test on Linux
2019-04-08 23:16:13 -04:00
Aaron Hill
174874420b
OS X is "macos", not "darwin"
2019-04-08 22:48:57 -04:00
Aaron Hill
858e82bc6f
Disable normal HashMap test on OS X
...
Implementing random number generation on OS X will require special-casing the
'openat' system call to special-case reading from /dev/urandom
2019-04-08 22:30:38 -04:00
Aaron Hill
6d3e93c281
Refactor random number generation
2019-04-08 22:22:41 -04:00
Aaron Hill
b120e8bb88
Only run test with default hasher
2019-04-08 21:42:12 -04:00
Aaron Hill
5530d295ad
Simplify cast using as_mut_ptr()
2019-04-08 21:36:35 -04:00
Tim Diekmann
fdefac8599
Fix calloc test
...
Forgot to free the memory. Miri found the bug :)
2019-04-08 01:26:52 +02:00
Aaron Hill
73239573c9
Implement non-deterministc mode
...
Part of #653
This allows us to properly implement getrandom(),
which unlocks the default HashMap type (e.g. HashMap<K, V>)
with RandomState)
This commit adds a new '-Zmiri-seed=<seed>' option. When present,
this option takes a 64-bit hex value, which is used as the seed
to an internal PRNG. This PRNG is used to implement the 'getrandom()'
syscall.
When '-Zmiri-seed' is not passed, 'getrandom()' will be disabled.
2019-04-07 19:26:20 -04:00
Tim Diekmann
fa0755c9fd
Add calloc test
2019-04-08 01:12:50 +02:00
Ralf Jung
3f552fea26
test calling Box<dyn FnOnce>
2019-04-07 20:06:22 +02:00
Ralf Jung
336a59d264
rename MIRI_TARGET -> MIRI_COMPILETEST_TARGET to clarify that this affects compiletest only
2019-04-07 10:58:10 +02:00
Ralf Jung
72cd133d1b
compiletest can just propagate MIRI_SYSROOT from the outside
2019-04-07 10:58:06 +02:00
Ralf Jung
ddb0496642
temporarily ignore async fn test
2019-04-06 22:11:59 +02:00
Matthew Jasper
3298102a64
Remove unnecessary test directive
2019-04-06 16:17:33 +01:00
Matthew Jasper
7213b91cd4
Use edition flag for 2phase test
...
The compiler now rejects one of the examples with #![feature(nll)]
2019-04-05 14:35:31 +01:00
Oliver Scherer
56c7656568
Remove dead code and docs
2019-03-11 10:28:03 +01:00
Alexander Regueiro
12d3ecbaff
Various cosmetic improvements.
2019-02-26 18:37:46 +00:00
Alexander Regueiro
a478bfebd2
Removed copyright notices.
2019-02-26 18:37:45 +00:00
rchaser53
b1c0cf2ef9
use copy_op directly insteadof write_scalar
...
- fix volatile_store logic
- rename test to be able to read back from later
- expand test to use assert_eq! and confirm to fix volatile_store
- expand test to use assert_eq! and confirm normal load
2019-02-26 19:49:02 +09:00
Ralf Jung
ac23bcd298
test using the Global allocator trait to alloc/free a Box
2019-02-25 09:47:34 +01:00
Ralf Jung
5a8a15361d
Merge branch 'master' into no-two-phase-matches
2019-02-24 16:26:42 +01:00
Ralf Jung
6edf674f4f
Merge remote-tracking branch 'origin/master' into btree
2019-02-24 12:22:42 +01:00
Matthew Jasper
acc304c0bd
Remove test of two-phase borrows in match
2019-02-24 08:16:21 +00:00
Taiki Endo
441442e071
Update some links
2019-02-23 19:56:29 +09:00
Ralf Jung
edd9e5b7b1
test BTree a bit more
2019-02-22 17:42:01 +01:00
Ralf Jung
5190b5b1e8
test VecDeque debug printing
2019-02-15 10:41:12 +01:00
Ralf Jung
e630175867
fix async-fn test
2019-02-15 09:35:55 +01:00
Ralf Jung
9397b36ab8
typo and comments
2019-02-15 09:35:55 +01:00
Ralf Jung
1921fa5766
actually they should be equal
2019-02-15 09:35:55 +01:00
Ralf Jung
2c3ee678b1
Fix comparing fat pointers
2019-02-15 09:35:55 +01:00
Ralf Jung
c6e747e14c
Merge remote-tracking branch 'origin/master' into str-index-mut
2019-02-14 08:33:37 +01:00
Ralf Jung
8466f78e83
ignore overaligned tests on Windows (because, of course, Windows' API is broken here)
2019-02-13 19:48:26 +01:00
Ralf Jung
2d323857e9
implement and test posix_memalign
2019-02-13 17:47:54 +01:00
Ralf Jung
d91ab9a7a6
fix ptr comparison test
2019-02-13 10:07:31 +01:00
Ralf Jung
604095fff2
Merge branch 'master' into format-padding
2019-02-13 08:12:11 +01:00
Ralf Jung
3c652032c0
be more clear which stack we are talking about
2019-02-12 10:51:03 +01:00
Ralf Jung
0802b3a108
implement passing arguments to the interpreted program
2019-02-09 20:00:40 +01:00