Repository navigation

0.10.0: core 0.12 — exhaustive(), flakyReplays(), searchRuns() on the chain - #56

Merged

rasuvaeff merged 2 commits into

Sep 20, 2026

Merged

0.10.0: core 0.12 — exhaustive(), flakyReplays(), searchRuns() on the chain#56
rasuvaeff merged 2 commits into
masterfrom
feat/core-0.12

Commits on Sep 20, 2026
- Core 0.12: exhaustive(), exhaustiveBudget(), flakyReplays() and searchRuns() on the chain; PROPERTY_EXHAUSTIVE / PROPERTY_SEARCH_RUNS; table, exhaustive and search reports; TargetImproved in the ve…
  rasuvaeff
  committed
  b01c195
- Release 0.10.0
  rasuvaeff
  committed
  3cef344