namada
namada copied to clipboard
Murisi/strategy constructors
Describe your changes
Updated the test vector generation code to make it easier to produce complete test vectors. More specifically, the changes are as follows:
- Test vector generation is now done offline using a Cargo
[[example]]
so that those needing them do not need to start a server to produce them - Vector generation is now randomly produced with
proptest
strategies in order to more comprehensively cover the full domain of transactions- This approach has the additional benefit that these strategies can also be reused in other
proptest
tests
- This approach has the additional benefit that these strategies can also be reused in other
- Vector generation is now done in Rust in order to take advantage of Rust's type-checking and to ensure that the code is kept up to date
- The old approach to generating test vectors using shell scripts and hooks in the transaction generation and signing process have been removed as they are now redundant
Indicate on which release or other PRs this topic is based on
#2257
Checklist before merging to draft
- [x] I have added a changelog
- [x] Git history is in acceptable state