Diffstat (limited to 'src/symbol.rs')
-rw-r--r--src/symbol.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/symbol.rs b/src/symbol.rs
index 910d1fa..1e13344 100644
--- a/src/symbol.rs
+++ b/src/symbol.rs
@@ -645,6 +645,7 @@ mod test {
proptest! {
#[allow(unreachable_code)]
#[test]
+ #[cfg_attr(miri, ignore)]
fn encode_decode(str in "(?:[a-z]|[A-Z]|[0-9]|[ _-]){0,18}") {
// Generate a symbol from the string.
let s = match Symbol::try_new(&str) {