diff options
| author | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2017-08-28 14:59:16 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2017-08-28 15:04:32 +0200 |
| commit | 02a0f0f8146690df717bd868dd833b6bcb0b7a3a (patch) | |
| tree | a4e61336e4769d71fa85f1993359ea19e402ee1a | |
| parent | 907d2c73103817b1dfa1ce0dedf57114fdd87c80 (diff) | |
| download | rust-02a0f0f8146690df717bd868dd833b6bcb0b7a3a.tar.gz rust-02a0f0f8146690df717bd868dd833b6bcb0b7a3a.zip | |
Turn off validation for some compile-fail tests
| -rw-r--r-- | tests/compile-fail/panic.rs | 2 | ||||
| -rw-r--r-- | tests/compile-fail/zst2.rs | 2 | ||||
| -rw-r--r-- | tests/compile-fail/zst3.rs | 2 |
3 files changed, 6 insertions, 0 deletions
diff --git a/tests/compile-fail/panic.rs b/tests/compile-fail/panic.rs index 0d594f9bd4c..4247cdaa463 100644 --- a/tests/compile-fail/panic.rs +++ b/tests/compile-fail/panic.rs @@ -1,3 +1,5 @@ +// FIXME: Probably failing due to https://github.com/solson/miri/issues/296 +// compile-flags: -Zmir-emit-validate=0 //error-pattern: the evaluated program panicked fn main() { diff --git a/tests/compile-fail/zst2.rs b/tests/compile-fail/zst2.rs index dd826c2fd74..fa4ae9afdf6 100644 --- a/tests/compile-fail/zst2.rs +++ b/tests/compile-fail/zst2.rs @@ -1,3 +1,5 @@ +// FIXME: Probably failing due to https://github.com/solson/miri/issues/296 +// compile-flags: -Zmir-emit-validate=0 // error-pattern: the evaluated program panicked #[derive(Debug)] diff --git a/tests/compile-fail/zst3.rs b/tests/compile-fail/zst3.rs index 53c42995b8a..320541552fb 100644 --- a/tests/compile-fail/zst3.rs +++ b/tests/compile-fail/zst3.rs @@ -1,3 +1,5 @@ +// FIXME: Probably failing due to https://github.com/solson/miri/issues/296 +// compile-flags: -Zmir-emit-validate=0 // error-pattern: the evaluated program panicked #[derive(Debug)] |