pbt 0.4.21

Property-based testing with `derive` macros, aware of mutual induction & instantiability.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

[package]
name = "pbt"
categories.workspace = true
keywords.workspace = true
authors.workspace = true
description.workspace = true
edition.workspace = true
license.workspace = true
readme.workspace = true
repository.workspace = true
version.workspace = true


[dependencies]
ahash = "~0.8"
getrandom = "~0.3"
libc = "~0.2"
malachite = { version = "~0.9", optional = true }
num-bigint = { version = "~0.4", optional = true }
papaya = "~0.2"
pbt-macros = { path = "../pbt-macros", version = "~0.4" }
pretty_assertions = "~1.4"
serde = { version = "~1.0", features = ["derive"] }
serde_json = "~1.0"
wyrand = "~0.4"


[dev-dependencies]
gungraun = "~0.19"


[[bench]]
name = "generation"
harness = false


[features]
generated-tests = ["pbt-macros/generated-tests"]
malachite = ["dep:malachite"]
num-bigint = ["dep:num-bigint"]


[lints]
workspace = true