kadena-io / pact

The Pact Smart Contract Language
https://docs.kadena.io/build/pact
BSD 3-Clause "New" or "Revised" License
579 stars 100 forks source link

fix fv str-to-int #1304

Closed rsoeldner closed 11 months ago

rsoeldner commented 11 months ago

This PR fixes the order of parameters (in case base is defined) to match documentation https://pact-language.readthedocs.io/en/latest/pact-properties-api.html?highlight=str-to-int#str-to-int. Additionally, we re-organize str-to-int str and str-to-int base str to be close to each other. I've added a property test case for both cases.

fixed #1303

PR checklist:

Additionally, please justify why you should or should not do the following: