chiark / gitweb /
vpid, miri: Disable the exhaustive test under miri
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Apr 2021 15:22:54 +0000 (16:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Apr 2021 20:40:36 +0000 (21:40 +0100)
It is quite slow.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/vpid.rs

index 1b44b5896616903807a5ec522b91f6bab1b75208..aa831d1cfaf9b2d3dcdc25e4616383073107e785 100644 (file)
@@ -189,6 +189,7 @@ impl Notches {
   }
 }
 
+#[cfg(not(miri))]
 #[test]
 fn exhaustive() {
   enum Can {