[red-knot] Add property tests for Type

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

Hide file tree

Showing 4 changed files with 342 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,11 @@ anyhow = { workspace = true }
 dir-test = { workspace = true }
 insta = { workspace = true }
 tempfile = { workspace = true }
+quickcheck = { version = "1.0.3" }
+quickcheck_macros = { version = "1.0.0" }
 
 [lints]
 workspace = true
+
+[features]
+property_tests = []