chiark
/
gitweb
/
~ianmdlvl
/
otter.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
976690b
)
vpid, miri: Disable the exhaustive test under miri
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Wed, 14 Apr 2021 15:22:54 +0000
(16:22 +0100)
committer
Ian 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
patch
|
blob
|
history
diff --git
a/src/vpid.rs
b/src/vpid.rs
index 1b44b5896616903807a5ec522b91f6bab1b75208..aa831d1cfaf9b2d3dcdc25e4616383073107e785 100644
(file)
--- a/
src/vpid.rs
+++ b/
src/vpid.rs
@@
-189,6
+189,7
@@
impl Notches {
}
}
+#[cfg(not(miri))]
#[test]
fn exhaustive() {
enum Can {