Merge #410

410: Enable strict provenance in Miri. r=jrvanwhy a=jrvanwhy This merges the two miri commands together, as strict provenance is strictly more restrictive than all other configurations. See rust-lang/miri#2045 for some more background on `-Zmiri-strict-provenance`. Closes #400 Co-authored-by: Johnathan Van Why <[email protected]>
tock · Jun 14, 2022 · 277a7f6 · 277a7f6
2 parents 19a6935 + f5a3bca
commit 277a7f6
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -123,8 +123,7 @@ test: examples test-stable
 		--target=thumbv7em-none-eabi --workspace
 	LIBTOCK_PLATFORM=hifive1 cargo clippy $(EXCLUDE_STD) \
 		--target=riscv32imac-unknown-none-elf --workspace
-	cargo miri test $(EXCLUDE_MIRI) --workspace
-	MIRIFLAGS="-Zmiri-symbolic-alignment-check -Zmiri-tag-raw-pointers" \
+	MIRIFLAGS="-Zmiri-strict-provenance -Zmiri-symbolic-alignment-check" \
 		cargo miri test $(EXCLUDE_MIRI) --workspace
 	echo '[ SUCCESS ] libtock-rs tests pass'