Add Echidna fuzz testing harness + runner - #306

Merged

0xCardiE merged 51 commits into

feat/echidna_fuzz

May 22, 2026

Commits on Feb 27, 2026

feat: add echidna fuzz harness for staking
0xCardiE
committed
48f10c7
fix image
0xCardiE
committed
0788f95
fix: correct echidna stake invariant
0xCardiE
committed
9911aca
add explanation
0xCardiE
committed
f2a6b88
introduce more complex properties
0xCardiE
committed
50375ab
add more complex tests
0xCardiE
committed
b14c60a
feat: add manageStake postconditions and non-interference checks
0xCardiE
committed
fd524e0
feat: add freeze/slash/migrate postconditions
0xCardiE
committed
92520d8

Commits on Mar 2, 2026

implement oracle contract, make default run all
0xCardiE
committed
74e0c33

Commits on Mar 3, 2026

fix price oracle problesm
0xCardiE
committed
c79e7a3
introduce postagestamp fuzz
0xCardiE
committed
60b1824
finalize stamp fuzzing
0xCardiE
committed
59b1d4c
basic redis fuzzing added
0xCardiE
committed
b946e35
add advanced fuzzing for stamps
0xCardiE
committed
c69ea42
add cross contract wiring for full fuzzing
0xCardiE
committed
241808d
add Redistribution winnerSelection state-machine fuzzing
0xCardiE
committed
0bf2d01
add Redistribution claim-stub fuzz harness
0xCardiE
committed
eb51a97

Commits on Mar 4, 2026

add economic invariants to system fuzz harness
0xCardiE
committed
73b21f3

Commits on Mar 5, 2026

chore: format echidna harnesses
0xCardiE
committed
ca61760

Commits on Apr 7, 2026

Commits on Apr 9, 2026

clean scenarios that should be reserved for chai and not echidna
0xCardiE
committed
067faf0

Commits on Apr 14, 2026

Merge remote-tracking branch 'origin/master' into feat/echidna_fuzz
0xCardiE
committed
1fe97a1

Commits on Apr 16, 2026

Commits on Apr 29, 2026

remove custom harness use just default one
0xCardiE
committed
70345fb

Commits on Apr 30, 2026

feat(echidna): per-harness corpus and safer runner
0xCardiE
committed
6393afe

Commits on May 5, 2026

Fix echidna so it reaches reveal and claim
0xCardiE
committed
b4294c7
feat(echidna): default 60k/320 and fixture E2E guard
0xCardiE
committed
cc88220
Oracle fix for upper bound limit
0xCardiE
committed
6a671db

Commits on May 6, 2026

test(echidna): drop duplicate system harness props
0xCardiE
committed
8c8813e

Commits on May 18, 2026

refactor(echidna): slim redistribution fuzz and fix Docker compile
0xCardiE
committed
b2e7a2f
fix for preetier
0xCardiE
committed
9a6231d

Commits on May 20, 2026

optimize readme
0xCardiE
committed
aa6edad

Commits on May 22, 2026

add extra info how it works
0xCardiE
committed
1bc951e
feat(echidna): add action-only coverage summary
0xCardiE
committed
2aba35a
refactor(redis): drop unused fuzz randomness hook
0xCardiE
committed
0285ef9
refactor(echidna): drop properties line from coverage summary
0xCardiE
committed
2e53478
chore(echidna): drop PriceOracle production fixes from fuzz branch
0xCardiE
committed
27dbd09
chore(echidna): drop PostageStamp production fix from fuzz branch
0xCardiE
committed
21ef16d
fix(test): stabilize copyBatch normalised balance assertion
0xCardiE
committed
bf5c5af
style(test): format PostageStamp.test.ts
0xCardiE
committed
37a30c5