Ralf Jung
|
1697b93ed9
|
Merge branch 'master' into rustup
|
2018-09-01 10:35:19 +02:00 |
|
Ralf Jung
|
f56841d974
|
unignore a bunch of tests that actually work
|
2018-08-30 15:57:17 +02:00 |
|
Ralf Jung
|
c44267960f
|
ptr equality: only defined for ptrs in the same allocation and live ptrs
|
2018-08-30 10:46:09 +02:00 |
|
Ralf Jung
|
e239fcffc1
|
new tests for new fn arg passing code
|
2018-08-30 10:42:18 +02:00 |
|
Ralf Jung
|
904923fa7a
|
move some more helpers to rustc
|
2018-08-30 10:42:18 +02:00 |
|
Ralf Jung
|
2a244dcb48
|
no TLS dtor and no leak checks on macOS
|
2018-08-30 09:41:57 +02:00 |
|
Ralf Jung
|
d1cd254003
|
no RwLock on Windows
|
2018-08-30 09:20:08 +02:00 |
|
Ralf Jung
|
0db1c6a1b0
|
ignore memory leaks on Windows
|
2018-08-30 08:57:33 +02:00 |
|
Ralf Jung
|
d7a3e040eb
|
pthreads test needs full MIR on Windows
|
2018-08-30 08:33:38 +02:00 |
|
Ralf Jung
|
addcbd8868
|
VecDeque now requries full MIR; update to new nightly
|
2018-08-30 08:21:05 +02:00 |
|
Ralf Jung
|
755c68fdd8
|
some unary operator tests
|
2018-08-26 20:42:02 +02:00 |
|
Ralf Jung
|
5ccdbb8de2
|
small test for extern_type
|
2018-08-26 15:15:26 +02:00 |
|
Ralf Jung
|
823837922b
|
update for enum discriminant changes
|
2018-08-25 11:07:21 +02:00 |
|
Ralf Jung
|
9280d17d98
|
test VecDeque
|
2018-08-24 19:50:31 +02:00 |
|
Ralf Jung
|
bb5079b2bf
|
rustup
|
2018-08-24 19:49:57 +02:00 |
|
Ralf Jung
|
40cc72604a
|
update for bool/char being checked at binops
|
2018-08-24 19:18:21 +02:00 |
|
Ralf Jung
|
1a4ad2bb9f
|
update for miri engine: new function handling, new static handling, fixed leaks
|
2018-08-24 16:45:08 +02:00 |
|
Ralf Jung
|
ee7f22245d
|
Merge remote-tracking branch 'origin/master'
|
2018-08-20 18:57:48 +02:00 |
|
Ralf Jung
|
c424e21692
|
update for memory signedness removal; test some float casts
|
2018-08-16 11:35:38 +02:00 |
|
Ralf Jung
|
259cc6e3dc
|
rustup for big refactor; kill most of validation
|
2018-08-16 10:30:43 +02:00 |
|
Ralf Jung
|
98a5b24ef7
|
test some more things around packed structs
|
2018-08-14 20:10:25 +02:00 |
|
Ralf Jung
|
bfda0a0a90
|
add a scary test case
|
2018-08-14 20:10:25 +02:00 |
|
Ralf Jung
|
04b925135d
|
fix modulo logic
|
2018-08-14 20:10:25 +02:00 |
|
Ralf Jung
|
2b40d39c1e
|
support computing the remainder of a ptr, if covered by alignment
|
2018-08-14 20:10:25 +02:00 |
|
Ralf Jung
|
93fef9a6a2
|
reenable an old test
|
2018-08-14 20:10:25 +02:00 |
|
Ralf Jung
|
354ec11c3e
|
try using types with lower alignment, maybe that helps for Windows
|
2018-08-14 18:52:13 +02:00 |
|
Ralf Jung
|
18546308ce
|
mem(r)chr is working in miri now
|
2018-08-02 00:17:02 +02:00 |
|
Ralf Jung
|
1538b36c80
|
make sure that StorageDead invalidates the backing store
|
2018-07-31 20:29:28 +02:00 |
|
Ralf Jung
|
bb6e7c8243
|
Merge branch 'master' into sanity_checks
|
2018-07-30 08:51:34 +02:00 |
|
Ralf Jung
|
ee98799185
|
we no longer need to mess with the environment in our test suite
|
2018-07-26 16:49:10 +02:00 |
|
Ralf Jung
|
b7c57fee61
|
Ignore tests
the bool thing will be fixed by the validation I have planned, and we already ignored another test around modifing constants.
|
2018-07-26 11:21:49 +02:00 |
|
Ralf Jung
|
d11c668a39
|
no longer run rustc on the tests; instead make sure we actually deny all warnings
Also fix the fallout from that
|
2018-07-16 08:39:06 +02:00 |
|
Ralf Jung
|
5be8bd987d
|
Test some new capabilities we gained from a rustc update
|
2018-07-15 21:25:20 +02:00 |
|
Ralf Jung
|
0b8809bf5f
|
port some tests to check the new error format
|
2018-07-15 12:00:02 +02:00 |
|
Ralf Jung
|
30185d09f6
|
make sure we show error messages even when we cannot show span
|
2018-07-15 11:40:57 +02:00 |
|
Ralf Jung
|
25c067ac7a
|
testsuite: put everything into a single test to fix interleaved output mess
|
2018-07-12 15:05:25 +02:00 |
|
Ralf Jung
|
9718d73ac8
|
colored test output!
|
2018-07-12 11:26:09 +02:00 |
|
Ralf Jung
|
8ce16a7c30
|
remove xargo logic; instead rely on MIRI_SYSROOT being set to run full MIR tests
|
2018-07-12 11:02:48 +02:00 |
|
Ralf Jung
|
01578ca6b3
|
don't run all compile-fail tests with full MIR
|
2018-07-12 11:02:48 +02:00 |
|
Ralf Jung
|
949106148c
|
ignore panic test on Windows
|
2018-07-12 10:24:25 +02:00 |
|
memoryleak47
|
eb8195f095
|
typo
|
2018-07-12 10:22:23 +02:00 |
|
Ralf Jung
|
5f2f254695
|
move tests that no longer need MIR out of fullmir
|
2018-07-12 10:22:23 +02:00 |
|
Ralf Jung
|
ff5b0fee33
|
fix many tests and ignore some others; enable compile_fail tests again
|
2018-07-12 10:22:23 +02:00 |
|
Ralf Jung
|
7023126094
|
stop producing binaries
|
2018-07-11 19:36:45 +02:00 |
|
Ralf Jung
|
d4e8d0b935
|
fix deprecation warning: use dirs crate for home_dir
|
2018-07-11 17:42:35 +02:00 |
|
bjorn3
|
ac25a513af
|
Re-enable never_transmute_humans.rs
|
2018-06-05 18:08:18 +02:00 |
|
bjorn3
|
94754de600
|
Convert legitimate failing errors to the new error format
|
2018-06-05 18:08:18 +02:00 |
|
bjorn3
|
8ae66db798
|
Convert some of the tests to the new format
|
2018-06-05 18:08:18 +02:00 |
|
bjorn3
|
569792acbc
|
Address some review comments
|
2018-06-05 18:08:18 +02:00 |
|
bjorn3
|
3db0568c40
|
Fix a couple of tests
|
2018-06-05 18:08:18 +02:00 |
|