diff options
Diffstat (limited to 'Cargo.toml')
-rw-r--r-- | Cargo.toml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Cargo.toml b/Cargo.toml index 8f0e019..1b50de4 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -4,6 +4,17 @@ members = [ ] resolver = "3" +[workspace.dependencies] +# Used to remove indexing checks and to reduce the degree to which code +# may be misused. +generativity = "1" + +# Used to test some code for greater quality assurance. +proptest = "1" + +# Used to make more thorough tests using `proptest` +proptest-state-machine = "0.4" + [profile.release] opt-level = 3 codegen-units = 1 |