# DAML Properties if left untested can cause logical errors

**URL:** <https://forum.canton.network/t/daml-properties-if-left-untested-can-cause-logical-errors/4702>\
**Category:** App Development\
**Tags:** daml, daml-sdk, ledger-api, canton\
**Created:** [June 9, 2022, 1:57pm UTC](https://forum.canton.network/t/daml-properties-if-left-untested-can-cause-logical-errors/4702 "2022-06-09T13:57:51Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![Iqra\_Mustafa1](https://avatars.discourse-cdn.com/v4/letter/i/ec9cab/32.png) [@Iqra\_Mustafa1](https://forum.canton.network/u/Iqra_Mustafa1)\
**Post date:** [June 9, 2022, 1:57pm UTC](https://forum.canton.network/t/daml-properties-if-left-untested-can-cause-logical-errors/4702/1 "2022-06-09T13:57:51Z")

</div>

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?

---

<div class="post-metadata">

**Author:** ![nemanja](https://yyz2.discourse-cdn.com/flex034/user_avatar/forum.canton.network/nemanja/32/842_2.png) [@nemanja](https://forum.canton.network/u/nemanja)\
**Post date:** [June 13, 2022, 8:15am UTC](https://forum.canton.network/t/daml-properties-if-left-untested-can-cause-logical-errors/4702/2 "2022-06-13T08:15:06Z")

</div>

Hi @Iqra_Mustafa1 👋

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