search

stacks-network / clarity-wasm

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

Property tests for nft functions #394

Closed Acaccia closed 2 months ago

Acaccia commented 2 months ago

Here are the property tests for the nft functions define-non-fungible-token, nft-burn?, nft-mint? and nft-get-owner?.

All of them suffered from a known bug in linked host functions: an "any-type" argument should check if it is an in-memory type and dereference it if it is the case.

codecov[bot] commented 2 months ago

Codecov Report

Attention: Patch coverage is 75.00000% with 4 lines in your changes are missing coverage. Please review.

Project coverage is 86.93%. Comparing base (80cd207) to head (bebeb3b). Report is 2 commits behind head on main.

Files Patch % Lines
clar2wasm/src/linker.rs 75.00% 0 Missing and 4 partials :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #394 +/- ## ========================================== - Coverage 86.97% 86.93% -0.04% ========================================== Files 43 43 Lines 18267 18291 +24 Branches 18267 18291 +24 ========================================== + Hits 15887 15901 +14 - Misses 1044 1050 +6 - Partials 1336 1340 +4 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.