From f83abf3a6d34186b87564d6d277c77c73bebac25 Mon Sep 17 00:00:00 2001 From: dzmitry-lahoda Date: Wed, 24 Jul 2024 22:19:46 +0100 Subject: [PATCH 1/2] more model checkers --- README.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 5cbea16..195a309 100644 --- a/README.md +++ b/README.md @@ -104,6 +104,10 @@ Turns out, there is an entire subcategory on crates.io [Development tools::Testi ### Model Based Testing * [model](https://crates.io/crates/model) +* [kani](https://crates.io/crates/kani-verifier) +* [creusot](https://github.com/creusot-rs/creusot) +* [prusti](https://github.com/viperproject/prusti-dev) +* [aeneas](https://github.com/AeneasVerif/aeneas) ### Testing Webservices @@ -121,7 +125,7 @@ Turns out, there is an entire subcategory on crates.io [Development tools::Testi ### Testing CommandLine Applications * https://crates.io/crates/assert_cmd -* [assert_cli](https://crates.io/crates/assert_cli): the sucessor is [assert_cmd](https://crates.io/crates/assert_cmd) +* [assert_cli](t: the sucessor is [assert_cmd](https://crates.io/crates/assert_cmd) ## CI From 5c4a2e65b1440f4fbd8f117c918ba8a2da4307b9 Mon Sep 17 00:00:00 2001 From: dzmitry-lahoda Date: Wed, 24 Jul 2024 22:20:56 +0100 Subject: [PATCH 2/2] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 195a309..607e0f6 100644 --- a/README.md +++ b/README.md @@ -125,7 +125,7 @@ Turns out, there is an entire subcategory on crates.io [Development tools::Testi ### Testing CommandLine Applications * https://crates.io/crates/assert_cmd -* [assert_cli](t: the sucessor is [assert_cmd](https://crates.io/crates/assert_cmd) +* [assert_cli](https://crates.io/crates/assert_cli): the sucessor is [assert_cmd](https://crates.io/crates/assert_cmd) ## CI