[red-knot] Add property tests for Type

astral-sh · Dec 2, 2024 · 40de0e3 · 40de0e3
1 parent 76d2e56
commit 40de0e3
Show file tree

Hide file tree

Showing 3 changed files with 294 additions and 35 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crates/red_knot_python_semantic/Cargo.toml b/crates/red_knot_python_semantic/Cargo.toml
@@ -49,6 +49,8 @@ anyhow = { workspace = true }
 dir-test = { workspace = true }
 insta = { workspace = true }
 tempfile = { workspace = true }
+quickcheck = "1.0.3"
+quickcheck_macros = "1.0.0"
 
 [lints]
 workspace = true