gear icon indicating copy to clipboard operation
gear copied to clipboard
verified publisher icon gear-tech

Test gear-protocol storage transition invariants

Open techraed opened this issue 2 years ago • 1 comments

Problem to Solve

Pretty same as property testing for the gas tree and economic checks (https://github.com/gear-tech/gear/blob/983e979928b0ae460794c09423d21c8e4bf6c54b/utils/economic-checks/src/targets.rs#L171), but implemented within fuzzer.

techraed avatar Feb 04 '23 19:02 techraed

It requires moving checks from utils/economic-checks to fuzzer and removing the former one.

techraed avatar Feb 05 '23 19:02 techraed