search

stacks-network / clarity-wasm

`clar2wasm` is a compiler for generating WebAssembly from Clarity.
GNU General Public License v3.0
14 stars 16 forks source link

Flaky proptest for principal-destruct? function #537

Closed csgui closed 1 month ago

csgui commented 1 month ago

When a proptest generates a call to principal-destruct? like (principal-destruct? 'SN1FYF0DD8SB9539ZA90S266DT8MX1STNCSV9F6Z0.u7E0cd1-------53--2-----N-) it fails.

It is possible to generate a contract principal using (principal-construct? 0x15 0x5fe781ad4656928d3f52419118cdd229d0e75566 "u7E0cd1-------53--2-----N-"). However, decomposing that generated principal into its components is not possible: (principal-destruct? 'SN1FYF0DD8SB9539ZA90S266DT8MX1STNCSV9F6Z0.u7E0cd1-------53--2-----N-) fails.

This is due to an issue in stacks-core. https://github.com/stacks-network/stacks-core/issues/5330