Skip to content

v0.7.0 — Coupling API & prove() domain coverage

Choose a tag to compare

View all tags
@ssweber ssweber released this 26 Apr 12:00
· 9 commits to main since this release
v0.7.0
1c57aec
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Breaking: lock file now projects to terminal tags by default (was public-first). Regenerate with pyrung lock.

Highlights:

  • Coupling API — harness.couplings() yields Coupling dataclasses for inspecting enable→feedback wiring
  • plc.tags — read-only tag mapping for introspection
  • prove() improvements — settle-pending semantics eliminate false negatives for timer-gated properties; better
    domain coverage with boundary partitions, tag-vs-tag comparisons, property expression analysis, and memory-aware state
    keys
  • TraceStep — counterexample traces now carry scan counts for accurate replay
  • __lock__ — module-level include/exclude for lock file projection
  • SumExpr CircuitPython codegen
  • Fault coverage example
Assets 4
Loading