Skip to content

Commit 0c7b916

Browse files
committed
Add mutest-rs to tools list
1 parent 7cad901 commit 0c7b916

1 file changed

Lines changed: 8 additions & 1 deletion

File tree

arewesafetycriticalyet.org/src/components/ToolsList/available-tools.json

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
"metadata": {
33
"title": "Rust Tooling for use in Safety Critical Projects",
44
"version": "1.2",
5-
"date": "2026-03-07",
5+
"date": "2026-05-08",
66
"tracked-standards": [
77
{
88
"name": "ISO 26262",
@@ -249,6 +249,13 @@
249249
"url": "https://github.com/verifast/verifast",
250250
"description": "VeriFast is a tool for modular formal verification of the absence of undefined behavior in Rust1 programs that use unsafe blocks and the soundness of Rust modules that use unsafe blocks.",
251251
"license": "MIT"
252+
},
253+
{
254+
"name": "mutest-rs",
255+
"type": "testing",
256+
"url": "https://mutest.rs/",
257+
"description": "Robust, efficient, safe, and parallel mutation testing tools for Rust.",
258+
"license": "Apache 2.0 & MIT"
252259
}
253260
]
254261
}

0 commit comments

Comments
 (0)