Differential testing for Interchain Security core protocol - (version 1 of diff testing)#275

Closed

danwt wants to merge 179 commits intomainfrom danwt/diff-testing-reb2

+7,085-4

Commits on Aug 17, 2022

iterate over all consumer chains

mpoke
authored and
Daniel
committed
add pending VSCs

mpoke
authored and
Daniel
committed
store unbonding time on consumer chain

mpoke
authored and
Daniel
committed
fix EndBlockCallback on provider; add test for pendingVSCs

mpoke
authored and
Daniel
committed
fix client unbonding times in tests

mpoke
authored and
Daniel
committed
wip

mpoke
authored and
Daniel
committed
TestUndelegationDuringInit done

mpoke
authored and
Daniel
committed
fix TestUnbondingNoConsumer

mpoke
authored and
Daniel
committed
test multiple pending VSC packets

mpoke
authored and
Daniel
committed
add VSCMaturedPacketData and remove packets from UnbondingSequence

mpoke
authored and
Daniel
committed
fix TestUndelegationDuringInit

mpoke
authored and
Daniel
committed
fix TestUndelegationEdgeCase

mpoke
authored and
Daniel
committed
fix TestTimelyUndelegation1 and rename to TestUndelegationConsumerFirst

mpoke
authored and
Daniel
committed
fix TestTimelyUndelegation2 and rename to TestUndelegationProviderFirst

mpoke
authored and
Daniel
committed
cleanup unbonding tests

mpoke
authored and
Daniel
committed
fix KeeperTestSuite/TestUnbondMaturePackets

mpoke
authored and
Daniel
committed
fix TestPacketRoundtrip

mpoke
authored and
Daniel
committed
add found return to GetPendingVSCs

mpoke
authored and
Daniel
committed
fixing ibc ack handling - wip

mpoke
authored and
Daniel
committed
Adds compiling diff testing
Daniel
committed
Partially upgrade model to 5ea9021
Daniel
committed
Matches model to spec 5ea9021
Daniel
committed
rm cntsGen
Daniel
committed
Sync latest SetupWithGenesisValSet
Daniel
committed
finish sanity check
Daniel
committed
fix trace subset
Daniel
committed
remove event from model
Daniel
committed
Update trace struct
Daniel
committed
refactor difftest
Daniel
committed
pre refactor diff
Daniel
committed
Adds network to diff_test.go
Daniel
committed
pre rm specialRecv
Daniel
committed
DEL specialRecvPacket
Daniel
committed
Debug
Daniel
committed
Update trusting period
Daniel
committed
Reintroduce c.Vals = c.NextVals
Daniel
committed
tweak replay
Daniel
committed
start working on custom update client call
Daniel
committed
PRE DEL ctx workaround
Daniel
committed
Strip out custom ctx caching
Daniel
committed
Refactors subset.ts
Daniel
committed
debug
Daniel
committed
del notes
Daniel
committed
Fix LastHeader update callsite
Daniel
committed
Structures trace tests to use suite
Daniel
committed
DEL whichValidator
Daniel
committed
Adds diagnostic test failure messages
Daniel
committed
Adds packet deliver requirement
Daniel
committed
Revert provider/unbonding_test.go
Daniel
committed
fix golang copy by value dumbness
Daniel
committed
refactor hasUndelivered in model
Daniel
committed
Use contrained params to avoid expiry
Daniel
committed
disable ack delivery in driver
Daniel
committed
Use separate unbonding times in P,C in model
Daniel
committed
cp
Daniel
committed
Adds versioning to model
Daniel
committed
Refactor sanity in model
Daniel
committed
Use model unbonding periods in driver
Daniel
committed
PRE change model compare locations
Daniel
committed
pre-strip consequences
Daniel
committed
Use hLastCommit in model
Daniel
committed
Use model comparisons based on committed blocks
Daniel
committed
Tests, well with easy diagnosis. Spec, model and code still out of sync.
Daniel
committed
dt
Daniel
committed
pre update setupTest to match Marius'
Daniel
committed
Checkpoint, working on deterministic validator keys
Daniel
committed
Get fuzzy keys
Daniel
committed
Work on fixed validator pub keys for ordering
Daniel
committed
Ensures deterministic validator address ordering
Daniel
committed
Remove debug prints in keeper
Daniel
committed
Removes debug statements from diff_test
Daniel
committed
Checkpoint, success! Find critical bug. (Contains debug statements)
Daniel
committed
Removes debugging from model
Daniel
committed
Removes slice from main.ts
Daniel
committed
Del dummy test in fuzzytest
Daniel
committed
remove debug statements from driver
Daniel
committed
Snapshot, debugging #232
Daniel
committed
Apply valset change fixes - should be rolled back
Daniel
committed
Adds debug statements to relaying for vsc and maturity
Daniel
committed
Adds replay to gitignore
Daniel
committed
Work to progress through faulty staking hooks
Daniel
committed
Reaches a point where SUT passes with custom SDK changes.
Daniel
committed
Use tombstoning in model - temporary fix
Daniel
committed
Clear up debug from model
Daniel
committed
Use partial relaying in model
Daniel
committed
Reorgn main.ts imports
Daniel
committed
Enable slash actions in model
Daniel
committed
Reach slashing bug
Daniel
committed
rollback packet parse changes
Daniel
committed
use larger offsets to clear network
Daniel
committed
Adds fuzz confirm
Daniel
committed
Remv debug statements
Daniel
committed
Adds old work staking_test.go as reference
Daniel
committed
work on staking alt test
Daniel
committed
Working on slash bug
Daniel
committed
Trying to replicate bug
Daniel
committed
CP model slash fix
Daniel
committed
cp
Daniel
committed
Checkpoint
Daniel
committed
DELETE sdk dec test
Daniel
committed
DELETE slash exploit attempt test
Daniel
committed
RENAME fuzzy -> seed_gen_fuzzy
Daniel
committed
Simplify prints
Daniel
committed
Remove some prints in model
Daniel
committed
REPLICATION #240
Daniel
committed
Allow slash/noslash testing
Daniel
committed
bring back missing fmt
Daniel
committed
Allow random slash testing deliver
Daniel
committed
HACK allow over approximated slash testing
Daniel
committed
Bump sdk version in go.mod
Daniel
committed
CP
Daniel
committed
cp
Daniel
committed
cp
Daniel
committed
CP trace.go
Daniel
committed
Done
Daniel
committed
Use unbonding_test.go
Daniel
committed
go.mod go.sum
Daniel
committed
Update model gen params
Daniel
committed
Pre adapt for sequential headers
Daniel
committed
Prelim - works with large TM set changes
Daniel
committed
Confirms working acknowledgements
Daniel
committed
Checkpoint pre refactor - all works
Daniel
committed
DEL fuzzConfirm for rounding
Daniel
committed
RN zero -> zeroState
Daniel
committed
Improve comments for TestAssumptions
Daniel
committed
Adds many more comments in diff_test
Daniel
committed
Adds several comments
Daniel
committed
CP tidups
Daniel
committed
Improve comments for diff_test.go
Daniel
committed
Checkpoint improved clarity
Daniel
committed

Commits on Aug 18, 2022

Improves comments
Daniel
committed
Add many comments to ts code
Daniel
committed
Improves comments across model
Daniel
committed
Add comments to util.ts
Daniel
committed
Adds properties back to model gen
Daniel
committed
Adds a README for core
Daniel
committed
CP new trace format
Daniel
committed
Updates trace data structure
Daniel
committed
Replace go.mod
Daniel
committed
fix sum
Daniel
committed

Commits on Aug 19, 2022

gomod
Daniel
committed
DEL funding.yml
Daniel
committed
DEL README_typescript_boilerpalate.md
Daniel
committed
Enable full typechecking
Daniel
committed
Comments gen.test.ts
Daniel
committed
Partial progress type fixes
Daniel
committed
Further type fixes
Daniel
committed
PRE use .d.ts
Daniel
committed
Checkpoint type introductions
Daniel
committed
fmt
Daniel
committed
DEL unused packet fields (timeout)
Daniel
committed
rn util.ts -> traceUtil.ts
Daniel
committed
improve var name clarity in properties
Daniel
committed
rn import in main.ts
Daniel
committed
Tidy diff-test/gitignore
Daniel
committed
RN DIR diff-test -> difftest
Daniel
committed
DEL difftest/.github
Daniel
committed
Update trace.go
Daniel
committed
Rework traceUtil.ts
Daniel
committed
rn zeroState -> zero_state
Daniel
committed
Adds Trace format steps to README
Daniel
committed
attributes
Daniel
committed
gignore, diff_test trace fn
Daniel
committed
gomod
Daniel
committed
Try use git lfs in test workflow
Daniel
committed
Use go 1.18 for golangci-lint
Daniel
committed
Fix gosec errs in test/relya
Daniel
committed
linter
Daniel
committed
Try fix sonarcloud golang ci
Daniel
committed
Try fix golang ci lint
Daniel
committed
golangci
Daniel
committed
try fix golangcilint
Daniel
committed
rm attributes
Daniel
committed
fix .golangci.yml name
Daniel
committed
Track traces
Daniel
committed
Fix gitignore
Daniel
committed
Adds traces to lfs
Daniel
committed

Commits on Aug 22, 2022

Fix del, undel error regression in driver
Daniel
committed
Clear up unused variable in driver
Daniel
committed