CBMC: Remove free workaround (CBMC issue #8814) #819
Description
Workarounds introduced in https://github.com/pq-code-package/mldsa-native/pull/814should be removed once diffblue/cbmc#8814 is resolved.
{{ message }}
Workarounds introduced in https://github.com/pq-code-package/mldsa-native/pull/814should be removed once diffblue/cbmc#8814 is resolved.