Add custom tests for running miri

roypat · roypat · commit f93faaddc509 · 2023-05-31T13:25:08.000Z
Signed-off-by: Patrick Roy &lt;roypat@amazon.co.uk&gt;
diff --git a/.buildkite/custom-tests.json b/.buildkite/custom-tests.json
@@ -9,6 +9,11 @@
       "test_name": "build-musl-mmap",
       "command": "cargo build --release --features=backend-mmap --target {target_platform}-unknown-linux-musl",
       "platform": ["x86_64", "aarch64"]
+    },
+    {
+      "test_name": "miri",
+      "command": "RUST_BACKTRACE=1 MIRIFLAGS='-Zmiri-disable-isolation -Zmiri-panic-on-unsupported -Zmiri-backtrace=full' cargo +nightly miri test --features backend-mmap",
+      "platform": ["x86_64", "aarch64"]
     }
   ]
 }

Original file line number	Diff line number	Diff line change
`@@ -9,6 +9,11 @@`
`9`	`9`	`"test_name": "build-musl-mmap",`
`10`	`10`	`"command": "cargo build --release --features=backend-mmap --target {target_platform}-unknown-linux-musl",`
`11`	`11`	`"platform": ["x86_64", "aarch64"]`
	`12`	`+ },`
	`13`	`+ {`
	`14`	`+ "test_name": "miri",`
	`15`	`+ "command": "RUST_BACKTRACE=1 MIRIFLAGS='-Zmiri-disable-isolation -Zmiri-panic-on-unsupported -Zmiri-backtrace=full' cargo +nightly miri test --features backend-mmap",`
	`16`	`+ "platform": ["x86_64", "aarch64"]`
`12`	`17`	`}`
`13`	`18`	`]`
`14`	`19`	`}`