We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent bdb3ab3 commit a323037Copy full SHA for a323037
1 file changed
Cargo.toml
@@ -12,6 +12,7 @@ license = "MIT OR Apache-2.0"
12
documentation = "https://docs.rs/anodized"
13
repository = "https://github.com/mkovaxx/anodized"
14
description = "An ecosystem for correct Rust based on lightweight contract annotations."
15
+categories = ["development-tools", "development-tools::procedural-macro-helpers"]
16
keywords = ["correctness", "design-by-contract", "fuzzing", "property-based-testing", "verification"]
17
18
[workspace.dependencies]
0 commit comments