-
Notifications
You must be signed in to change notification settings - Fork 18
Property-based tests for transfer decoder #73
Copy link
Copy link
Closed
Labels
Stellar WaveIssues in the Stellar wave programIssues in the Stellar wave programarea:decoderXDR / event decodingXDR / event decodingarea:testsTesting and coverageTesting and coveragedifficulty:intermediate~half a day~half a dayhelp wantedExtra attention is neededExtra attention is needed
Metadata
Metadata
Assignees
Labels
Stellar WaveIssues in the Stellar wave programIssues in the Stellar wave programarea:decoderXDR / event decodingXDR / event decodingarea:testsTesting and coverageTesting and coveragedifficulty:intermediate~half a day~half a dayhelp wantedExtra attention is neededExtra attention is needed
Background
Random fuzz of decoder inputs catches edge cases (zero, max-u128, negative i128 cast) that hand-written cases miss.
What to build
fast-check generators for arbitrary
ScValshapes; assert the decoder either returns a typed result or a typed error.Key files
tests/decoder.property.test.ts(new)Acceptance criteria