disable validation for some tests that need further investigation

This commit is contained in:
Ralf Jung 2018-10-30 09:40:01 +01:00
parent 942204ee32
commit a48b2cc4e9
3 changed files with 9 additions and 0 deletions

View file

@ -8,6 +8,9 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// FIXME: Still investigating whether there is UB here
// compile-flags: -Zmiri-disable-validation
use std::sync::Mutex;
fn par_for<I, F>(iter: I, f: F)

View file

@ -8,6 +8,9 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// FIXME: Still investigating whether there is UB here
// compile-flags: -Zmiri-disable-validation
fn b<T>(t: T) -> T { t }
fn main() {

View file

@ -1,3 +1,6 @@
// FIXME: Still investigating whether there is UB here
// compile-flags: -Zmiri-disable-validation
use std::collections::VecDeque;
fn main() {