What type of daml properties, if left untested, can cause logical vulnerabilities? What role can Daml-LF spec type safety proofs play in order to test such properties?
nemanja
2
Can you provide and example/more information on what you mean exactly with your question?
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| DAML contract--Potential Vulnerabilities | 10 | 585 | August 2, 2021 | |
| Daml Contract Testing | 14 | 531 | November 20, 2021 | |
| [Dev Fund] daml-fuzz — property-based fuzzing for Daml (working PoC, 8/8 mutation score) — seeking a Daml Tooling SIG champion | 3 | 88 | July 29, 2026 | |
| Feedback: Let's write a Daml template from scratch Video | 6 | 557 | September 30, 2021 | |
| Testing Templates Using Daml Script (Military Instructional Format) | 9 | 1264 | May 4, 2021 |