DamlCov: Test coverage analysis tool for Daml smart contracts
In ReviewPR- SIG
- daml-tooling
- Champion
- —
- Author org
- Zircuit
- Ask
- 1,000,000
Abstract
We propose developing a test coverage tool for Daml smart contracts. Such a tool is currently not available for Daml, meanwhile it belongs to the basic toolbox expected by developers. The tool will be designed from the ground up for Daml's unique authorization model, UTXO-like state, and multi-party privacy semantics. It will be developed as open-source, free to use, executable locally, will integrate with the current Daml tooling, and will provide reports usable in CI/CD pipelines.
Milestones
| Title | Due date | Target | Amount (CC) |
|---|---|---|---|
| DamlCov: Daml-LF Instrumentation Engine | — | — | 250,000 |
| DamlCov: Coverage Runtime, Aggregation, and Reporting | — | — | 750,000 |
| Ongoing Maintenance | — | Daml developers are routinely measuring test coverage as part of their standard development and pre-deployment process, and the security posture of Canton Network applications improves as a result. The secondary metric is ecosystem position: when a Daml developer wants to measure test coverage of a contract, DamlCov is the first solution they reach for. A concrete marker of success is that DamlCov appears in the testing sections of community audit checklists, CIP security guidance, and onboarding documentation for Canton Network developers. | — |
| Total | 1,000,000 | ||
Budget impact
- % of available
- 0.5%
- % if all RFV pass
- 0.6%
- Ask (CC)
- 1,000,000
Comments by org
4 comments · 1 org · last activity Jun 16, 2026
| Organisation | Comments |
|---|---|
| Zircuit | 2 |
| Unknown | 2 |