Repository navigation

test: introduce jetCheck property-based testing - #284

Merged

magnusp merged 5 commits into

mainfrom

test/property-based-testing

Oct 31, 2026

Merged

test: introduce jetCheck property-based testing#284
magnusp merged 5 commits into
mainfrom
test/property-based-testing

Commits on Oct 31, 2026
- fix(jdbc): report a malformed timeout as a SQLException
  magnusp
  committed
  be7640f
- build(test): add jetCheck for property-based tests
  magnusp
  committed
  e98860f
- fix(jdbc): redact repeated user info from metadata URLs
  magnusp
  committed
  9c7a64d
- test: add jetCheck property suites for the extracted seams
  magnusp
  committed
  743fe17
- docs: document the jetCheck property-based testing setup
  magnusp
  committed
  3a3fd85