Ralf Jung
|
1d79b60a1e
|
make strict-provenance imply check-number-validity
|
2022-04-01 23:59:16 -04:00 |
|
Ralf Jung
|
9af03bf342
|
add -Zmiri-strict-provenance
|
2022-04-01 14:10:24 -04:00 |
|
Ralf Jung
|
d8bee92aee
|
rename track-raw-pointers flag to tag-raw-pointers
|
2021-11-13 15:48:27 -05:00 |
|
Pointerbender
|
386863ac53
|
added a strings.rs regression test case for potential future UB
|
2021-06-03 17:25:23 +02:00 |
|
Ralf Jung
|
e5972c38a3
|
test mutable string slice indexing
|
2019-02-06 11:47:32 +01:00 |
|
Scott Olson
|
f9c1cfa889
|
Remove now-useless #[miri_run] attributes.
Except for `ints.rs`, which is already handled by a pending pull request.
|
2016-06-17 22:52:30 -06:00 |
|
Oliver Schneider
|
12c2e5fab2
|
4byte pointers
|
2016-06-01 11:10:43 +02:00 |
|
Oliver Schneider
|
211c12a1d0
|
use compiletest_rs
|
2016-04-22 10:34:14 +02:00 |
|
Pascal Hertleif
|
f6f393996b
|
Add Compile Test
|
2016-04-14 14:54:59 +02:00 |
|