Formal Verification: Release of Ortac 0.8.0 for Testing with Domains
Ortac 0.8.0 generates QCheck-STM test suites that check OCaml libraries for parallel safety with multiple SUTs. Here are the design choices behind it.
Daily edition · OCaml
The daily ledger
TILens turns technical updates into a focused daily brief: official releases, trusted reporting, and practitioner analysis, deduplicated and organized by topic.
1 article · 1 source ·
Top topics: OCaml