Code

[red-knot] Property tests#14178

Code

Merged

sharkdp merged 5 commits intomainastral-sh/ruff:mainfrom david/property-testsastral-sh/ruff:david/property-testsCopy head branch name to clipboardDec 3, 2024

+309-34

Commits

Commits on Dec 3, 2024

• [red-knot] Add property tests for Type

  sharkdp

  committed
  b58fdc6

• Use a type_property_test macro

  sharkdp

  committed
  838f68b

• Move tests to submodules

  sharkdp

  committed
  89c4c07

• No default features

  sharkdp

  committed
  e1c091a

• Macro: documentation, simplification, clearer syntax

  sharkdp

  committed
  2034e2d