Ralf Jung
|
f47e58950b
|
check that atomics are sufficiently aligned, and add test
|
2019-08-04 10:30:42 +02:00 |
|
Ralf Jung
|
702f63e427
|
test AtomicU64
|
2019-08-04 10:30:42 +02:00 |
|
Ralf Jung
|
ca4969d4da
|
consolidate atomic tests
|
2019-08-04 10:30:42 +02:00 |
|
bors
|
d9d6df93a9
|
Auto merge of #881 - RalfJung:rustup, r=RalfJung
adjust for rustc changes
|
2019-08-03 18:56:38 +00:00 |
|
Ralf Jung
|
a41ec9aacb
|
adjust error messages in tests
|
2019-08-03 20:54:57 +02:00 |
|
bors
|
d0e8850267
|
Auto merge of #877 - christianpoveda:ldexp-shim, r=RalfJung
Add shim for ldexp
Fixes https://github.com/rust-lang/miri/issues/821
r? @RalfJung
|
2019-08-03 16:14:20 +00:00 |
|
Ralf Jung
|
773f6aeb4c
|
remove some compile-fail tests that now work
|
2019-08-03 15:01:04 +02:00 |
|
Christian Poveda
|
ff2001040f
|
Add shim for ldexp
|
2019-08-02 15:46:28 -05:00 |
|
Ralf Jung
|
2973063fa3
|
test dangling ZST deref
|
2019-08-02 14:26:15 +02:00 |
|
Ralf Jung
|
3318657eaf
|
test Ref/RefMut protector interactions
|
2019-08-02 08:15:52 +02:00 |
|
Ralf Jung
|
c4c2716f4e
|
make reborrow shallow, and fix tests for that
|
2019-08-02 08:09:22 +02:00 |
|
bors
|
5bbf6733ea
|
Auto merge of #869 - RalfJung:tests, r=oli-obk
test suite: be fine with warnings when running on rustc CI
r? @oli-obk
|
2019-07-31 11:54:00 +00:00 |
|
Ralf Jung
|
a414492cc7
|
reorder for clarity
|
2019-07-31 13:48:49 +02:00 |
|
Ralf Jung
|
edf7d1c30c
|
dedup code a bit
|
2019-07-31 13:48:15 +02:00 |
|
Ralf Jung
|
6dadb94101
|
test suite: be fine with warnings when running on rustc CI
|
2019-07-31 13:44:55 +02:00 |
|
Yuki Okushi
|
af7570fced
|
Remove await_macro
|
2019-07-31 16:42:38 +09:00 |
|
Ralf Jung
|
87f20fede5
|
adjust for slice pattern changes
|
2019-07-29 10:21:59 +02:00 |
|
Ralf Jung
|
8bec925e04
|
bump Rust
|
2019-07-26 10:14:44 +02:00 |
|
Ralf Jung
|
758d88bbf9
|
explain better what is non-deterministic here
|
2019-07-24 08:57:05 +02:00 |
|
Ralf Jung
|
85be8ab8eb
|
fix non-deterministic test
|
2019-07-23 23:48:28 +02:00 |
|
Ralf Jung
|
d5ca345c36
|
remove redundant tests / flags
|
2019-07-23 23:26:25 +02:00 |
|
Ralf Jung
|
3c1ab78196
|
review failing compile-fail tests
|
2019-07-23 23:25:06 +02:00 |
|
Ralf Jung
|
c094d42504
|
update miri-seed handling for run-pass test suite
|
2019-07-23 21:53:47 +02:00 |
|
Ralf Jung
|
59190e8542
|
disable some compile-fail tests for rustc
|
2019-07-20 22:38:41 +02:00 |
|
Ralf Jung
|
95e6e671bf
|
fix compile-fail tests for latest rustc
|
2019-07-16 18:39:18 +02:00 |
|
Ralf Jung
|
f1b623c313
|
test some const-generic-using methods
|
2019-07-13 10:25:04 +02:00 |
|
Ralf Jung
|
e7b39e382a
|
reenable all tests on Windows
|
2019-07-11 18:41:53 +02:00 |
|
Ralf Jung
|
70a5bb7dbb
|
force pointers before reborrowing; fixes cargo miri test suite
|
2019-07-10 14:36:56 +02:00 |
|
Ralf Jung
|
a6f9bbc9e2
|
now we can also enable the ptr_int_cast test again
|
2019-07-10 14:36:56 +02:00 |
|
Ralf Jung
|
dd6cf30f60
|
ptr_offset works fine with intptrcast now
|
2019-07-10 14:36:56 +02:00 |
|
Lzu Tao
|
3ea62d3527
|
Remove SliceConcatExt import
|
2019-07-10 09:56:35 +07:00 |
|
Ralf Jung
|
4f6a56f54f
|
better error message when the program tries to spawn a thread
|
2019-07-06 10:07:21 +02:00 |
|
Ralf Jung
|
ba8728cd8b
|
fix test using mem::uninitialized
|
2019-07-06 09:33:22 +02:00 |
|
Ralf Jung
|
029a29407a
|
dangling-ptr-to-int should work now; move to noseed
|
2019-07-05 23:54:18 +02:00 |
|
Ralf Jung
|
f23b782101
|
align small malloc-allocations even less, and test that we do
|
2019-07-05 23:48:48 +02:00 |
|
Ralf Jung
|
4d76dd1f09
|
temporarily disable validation on Windows
|
2019-07-05 21:26:58 +02:00 |
|
Ralf Jung
|
9b58492df1
|
temporarily disable intptrcast advanced testing on Windows
|
2019-07-05 19:22:22 +02:00 |
|
Ralf Jung
|
802dcb7f89
|
temporarily disable ptr_offset, maybe that helps
|
2019-07-05 00:06:41 +02:00 |
|
Christian Poveda
|
8dfb278ac5
|
Fix explicit cast test
|
2019-07-03 15:59:32 -05:00 |
|
Christian Poveda
|
074e20eb7b
|
Add intptrcast test for explicit casts
|
2019-07-03 13:38:39 -05:00 |
|
Ralf Jung
|
b29cb7d551
|
avoid catching errors
|
2019-07-03 10:56:25 +02:00 |
|
Ralf Jung
|
8ec25066e7
|
make a test noseed for now that does not work with intptrcast yet
|
2019-07-03 10:47:28 +02:00 |
|
Ralf Jung
|
eb4128fb42
|
don't call Stacked Borrows hooks at all when validation is disabled
|
2019-07-03 10:47:28 +02:00 |
|
Ralf Jung
|
44298d86f0
|
dont add the -Zmiri-seed flag twice
|
2019-07-03 10:47:25 +02:00 |
|
Ralf Jung
|
ccbc035f6a
|
run all run-pass tests with intrptrcast. makes many of them fail!
|
2019-07-02 22:20:37 +02:00 |
|
Ralf Jung
|
8d8481fed5
|
fix outdated test name: overalign -> align
|
2019-07-02 13:02:48 +02:00 |
|
bors
|
2a4c4ade30
|
Auto merge of #809 - RalfJung:intptrcast, r=RalfJung
use intptrcast for heap_allocator test; then it should work on Windows
|
2019-06-30 21:19:56 +00:00 |
|
Ralf Jung
|
cb6d4f0c9a
|
test even more size-alignment combinations. found a bug in libstd!
|
2019-06-30 21:23:48 +02:00 |
|
Ralf Jung
|
709b474859
|
fix minimal alignment for system allocation functions
|
2019-06-30 21:10:47 +02:00 |
|
Ralf Jung
|
78261b788d
|
fix setting rustc flags
|
2019-06-30 19:10:09 +02:00 |
|