Repository navigation

test: widen property tests to joins, negation, predicates and time travel (#386) - #491

Merged

adityamukho merged 3 commits into

v3from

test/386-wider-property-tests

Oct 8, 2026

Merged

test: widen property tests to joins, negation, predicates and time travel (#386)#491
adityamukho merged 3 commits into
v3from
test/386-wider-property-tests

Commits on Oct 8, 2026
- docs: restore TEST_COVERAGE.md emptied by the v2.0.4 merge
  
  adityamukho
  and
  claude
  committed
  d5027d8
- test: widen property tests to joins, negation, predicates and time travel (#386)
  
  adityamukho
  and
  claude
  committed
  3d29db8
- test: drop an unused property-test generator (#386)
  
  adityamukho
  and
  claude
  committed
  143cb6e