diff options
| author | Nadrieril | 2019-04-25 14:26:19 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-25 14:26:19 +0200 |
| commit | ff1bee1b115a5b9528be621502719cc4faeffaee (patch) | |
| tree | bbf95dfc3cd470d298dde46962cca9dbe8933158 /dhall/Cargo.toml | |
| parent | 03616cb0f86b166bc704e25a9e3da624d0a8c8df (diff) | |
Try property testing against reference implementation
Diffstat (limited to '')
| -rw-r--r-- | dhall/Cargo.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/Cargo.toml b/dhall/Cargo.toml index de2ab7c..e2f3f6b 100644 --- a/dhall/Cargo.toml +++ b/dhall/Cargo.toml @@ -19,6 +19,7 @@ dhall_generator = { path = "../dhall_generator" } [dev-dependencies] pretty_assertions = "0.6.1" stacker = "0.1.5" +proptest = "0.9.2" [build-dependencies] walkdir = "2" |