CCPEDIAby Unity Nodes
Discussions/App Development/DAML Properties if left untested can cause logical errorsForum ↗

DAML Properties if left untested can cause logical errors

App Development2 posts234 viewsLast activity Jun 2022
IQ
Iqra_Mustafa1OP
Jun 2022

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?

NE
nemanja
Jun 2022

Hi @Iqra_Mustafa1 :wave:

Can you provide and example/more information on what you mean exactly with your question?

← Back to Discussions