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

Proptests for ft functions #402

Closed Acaccia closed 1 month ago

Acaccia commented 1 month ago

This add proptests for the ft functions ft-burn?, ft-get-balance, ft-get-supply, ft-mint?, ft-transfer?.

They suffered the same bug as the functions in #397, with the amount erroneously parsed in the linked functions.

As with #397, I didn't test for the unhappy path for the same reasons.

This PR is part of #261.

codecov[bot] commented 1 month ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 86.93%. Comparing base (c577461) to head (6264971). Report is 9 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #402 +/- ## ========================================== - Coverage 86.95% 86.93% -0.03% ========================================== Files 43 43 Lines 18291 18325 +34 Branches 18291 18325 +34 ========================================== + Hits 15905 15930 +25 - Misses 1046 1055 +9 Partials 1340 1340 ```

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

csgui commented 1 month ago

Other thing. Following our previous discussion, also needs improvements on unit tests for tokens functions. Will open an issue for that.