Ralf Jung
|
4c741e5fb2
|
rustup
|
2021-04-25 16:57:48 +02:00 |
|
Ralf Jung
|
3ba1035d27
|
use standard black_box function
|
2020-09-07 11:29:47 +02:00 |
|
Ralf Jung
|
088af66f85
|
better optimization suppression
Co-authored-by: bjorn3 <bjorn3@users.noreply.github.com>
|
2020-09-07 11:16:16 +02:00 |
|
Ralf Jung
|
210f18d6c7
|
work around rustc optimizations becoming too smart
|
2020-09-07 10:24:38 +02:00 |
|
Ralf Jung
|
dbd6403955
|
rustup for fixed error messages
|
2020-05-02 02:13:48 +02:00 |
|
Ralf Jung
|
393165f859
|
rustup; fix for changed error messages
|
2020-05-01 14:43:59 +02:00 |
|
Ralf Jung
|
179e78d0ad
|
make sure our disable flags do not miss all bugs; move type-assert intrinsic tests to their folder
|
2020-04-14 10:23:47 +02:00 |
|
Ralf Jung
|
1103a10e2c
|
adjust for error reform
|
2020-03-19 08:25:08 +01:00 |
|
Ralf Jung
|
7ac0e79ad5
|
stub Retag hook; fix tests for removal of -Zmir-emit-validate
|
2018-11-01 08:58:03 +01:00 |
|
Ralf Jung
|
1907782b64
|
reenable some tests that work now, and organize them better with directories
|
2018-10-17 16:58:54 +02:00 |
|
Ralf Jung
|
c9cf0344ee
|
enable validation for compile-fail tests, and add some new ones
|
2018-10-12 10:54:37 +02:00 |
|
Ralf Jung
|
f56841d974
|
unignore a bunch of tests that actually work
|
2018-08-30 15:57:17 +02:00 |
|
Ralf Jung
|
40cc72604a
|
update for bool/char being checked at binops
|
2018-08-24 19:18:21 +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
|
30185d09f6
|
make sure we show error messages even when we cannot show span
|
2018-07-15 11:40:57 +02:00 |
|
bjorn3
|
8ae66db798
|
Convert some of the tests to the new format
|
2018-06-05 18:08:18 +02:00 |
|
Ralf Jung
|
2ea6663440
|
validation: check that int, float etc. are not undef
|
2017-09-16 11:45:56 +02:00 |
|
Oliver Schneider
|
55fd060cd8
|
don't use #[miri_run] anymore, but execute the main function
|
2016-06-13 15:33:05 +02:00 |
|