From cae361333f10b0b3009985e121ac0549deec348e Mon Sep 17 00:00:00 2001 From: Nilstrieb <48135649+Nilstrieb@users.noreply.github.com> Date: Mon, 4 Apr 2022 20:06:22 +0200 Subject: [PATCH] add miri hint --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 6017ff9..736e166 100644 --- a/README.md +++ b/README.md @@ -2,6 +2,8 @@ A crate for stuffing things into a pointer. +This crate is tested using miri (with `-Zmiri-tag-raw-pointers`). + This crate consists of three parts: * The type `StuffedPtr` * The trait `StuffingStrategy`