Repository navigation

[TS PBT] Guide original property search with admitted edge coverage - #524

Open

CaelmBleidd wants to merge 15 commits into

mainfrom

caelmbleidd/pbt-edge-guidance-399

Open

[TS PBT] Guide original property search with admitted edge coverage#524
CaelmBleidd wants to merge 15 commits into
mainfrom
caelmbleidd/pbt-edge-guidance-399

Commits on Oct 15, 2026
- [Core] Accept externally supplied coverage goals
  CaelmBleidd
  committed
  f8cd9fd
- [Core] Isolate external coverage updates in one selector
  CaelmBleidd
  committed
  e69a9bb
Commits on Oct 16, 2026
- Fix cached priority ordering after insertion
  CaelmBleidd
  committed
  25fc413
- Batch coverage priority refreshes and heapify updated weights
  CaelmBleidd
  committed
  db1becc
- Use unordered sets for coverage goals and snapshots
  CaelmBleidd
  committed
  deca5d3
- Measure coverage selector costs on real JVM programs
  CaelmBleidd
  committed
  3ecbad1
- Compare coverage guidance with random selection baselines
  CaelmBleidd
  committed
  4486951
- Reuse lazy NURS guidance for external TypeScript coverage
  CaelmBleidd
  committed
  465c303
- Use NURS in the TS DSL and retain lazy guidance measurements
  CaelmBleidd
  committed
  d5f0f07
- Remove coverage selector benchmark artifacts
  CaelmBleidd
  committed
  9b311ae
- [TS PBT] Guide original property search with admitted edge coverage
  CaelmBleidd
  committed
  5d90bcf
- [TS PBT] Fix Java 11 CI and uncalled branch coverage
  CaelmBleidd
  committed
  e8991fc
- Handle exhausted DSL preparation budgets
  CaelmBleidd
  committed
  4c241cd
- [TS PBT] Reuse the core coverage-guided selector
  CaelmBleidd
  committed
  47b6c27
- Use lazy NURS weights for concrete edge guidance
  CaelmBleidd
  committed
  0248044