From 506c4ff56580e90e5c9e0edaa1ae1c220733e96a Mon Sep 17 00:00:00 2001 From: Amit Aryeh Levy Date: Sat, 29 Jun 2024 00:08:42 -0400 Subject: [PATCH 1/2] Fix cargo miri test --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index d10a28e0d7..9d02637936 100644 --- a/Makefile +++ b/Makefile @@ -526,7 +526,8 @@ ci-job-miri: @#cd libraries/tock-register-interface && NOWARNINGS=true cargo miri test @cd kernel && NOWARNINGS=true cargo miri test @for a in $$(tools/list_archs.sh); do cd arch/$$a && NOWARNINGS=true cargo miri test && cd ../..; done - @cd capsules && NOWARNINGS=true cargo miri test + @cd capsules/core && NOWARNINGS=true cargo miri test + @cd capsules/extra && NOWARNINGS=true cargo miri test @for c in $$(tools/list_chips.sh); do cd chips/$$c && NOWARNINGS=true cargo miri test && cd ../..; done From e8d10a476e32b629ceefea66e25e9cdba0bb0876 Mon Sep 17 00:00:00 2001 From: Brad Campbell Date: Tue, 2 Jul 2024 17:17:19 -0400 Subject: [PATCH 2/2] makefile: miri: include system capsules --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 9d02637936..5dc3cfa7cb 100644 --- a/Makefile +++ b/Makefile @@ -528,6 +528,7 @@ ci-job-miri: @for a in $$(tools/list_archs.sh); do cd arch/$$a && NOWARNINGS=true cargo miri test && cd ../..; done @cd capsules/core && NOWARNINGS=true cargo miri test @cd capsules/extra && NOWARNINGS=true cargo miri test + @cd capsules/system && NOWARNINGS=true cargo miri test @for c in $$(tools/list_chips.sh); do cd chips/$$c && NOWARNINGS=true cargo miri test && cd ../..; done