Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

proof-of-concept: property based tests replace diff tests #667

Closed
wants to merge 54 commits into from
Closed

proof-of-concept: property based tests replace diff tests #667

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
54 commits
Select commit Hold shift + click to select a range
9e87017
Adds rapid library and example state machine test
Jan 16, 2023
7e77a82
Adds the start of a PBT solution using Rapid but it wont' work becaus…
Jan 16, 2023
a79a1ff
Builds, confirms no regression, rapid not tried
Jan 16, 2023
7d1e6bd
Adds a lot of code which won't work
Jan 16, 2023
1659e36
Adds more PBT code before kill helpers
Jan 16, 2023
4e48f3a
Bump progress
Jan 16, 2023
c52ddcc
Builds, need to sanity check
Jan 16, 2023
3985b8a
Adds restricted slashing
Jan 16, 2023
df0656a
Adds info about testing.T issue
Jan 17, 2023
1d1b432
Rename local symbol
Jan 17, 2023
90f994c
Comment clarity
Jan 17, 2023
662841c
Inline method
Jan 17, 2023
34469a1
Bump syntactic
Jan 17, 2023
1e67d3f
Check nature of rapid checks
Jan 17, 2023
d841919
removes linter errs
Jan 17, 2023
d3f7367
Strip down core_test
Jan 17, 2023
ec7f070
Removes trace stuff
Jan 17, 2023
6ecdfcc
Fixes linter issue
Jan 17, 2023
d9b4bd1
Refactor, remove trace stuff
Jan 17, 2023
2773f4b
File system refactor (deletes model)
Jan 17, 2023
6c77241
Small refactor
Jan 17, 2023
8d997a0
Tiny refactor
Jan 17, 2023
da540ef
Makes sure simplified seed works
Jan 17, 2023
fd7a442
Entirely removes seed ordering
Jan 17, 2023
27f75b5
Removes check for validator ordering
Jan 17, 2023
7387c1d
Bump
Jan 17, 2023
baa1702
Try retrofit setup improvements
Jan 17, 2023
98381b1
Fix seed problem
Jan 17, 2023
56287a8
Partial fix suite
Jan 17, 2023
86210fe
Removes suite
Jan 17, 2023
3c37ae8
Fix setup
Jan 17, 2023
a78fd34
Del old setup
Jan 17, 2023
a101400
Removes commented line
Jan 17, 2023
6144b97
Use dynamic block interval
Jan 17, 2023
303e69e
Uses a ZeroState struct
Jan 17, 2023
edd0b7e
Factors setup to a sub package
Jan 17, 2023
65503ae
Factors out common
Jan 17, 2023
c2b08a6
Bump
Jan 17, 2023
c6650fd
rename init state
Jan 17, 2023
b18eb7b
Bump
Jan 17, 2023
37a37bf
Checkpoint partial val set replication property
Jan 17, 2023
69ff5b5
cp partial
Jan 17, 2023
1462970
Finished val set replication?
Jan 17, 2023
4f41e4b
checkpoint, brokne!
Jan 17, 2023
a0261b7
Fix pointer bug, remove superfluous prints
Jan 17, 2023
baf28ec
Parameterize bounds, adds comment
Jan 17, 2023
55f85d7
Bump docs
Jan 17, 2023
474f0d2
Adds redelegate
Jan 18, 2023
fb0619a
cp
Jan 18, 2023
de0a137
Adds unjail
Jan 18, 2023
657ec55
Bump
Jan 18, 2023
67c8973
bump doc
Jan 18, 2023
6b309d8
Confirms coverage
Jan 18, 2023
59f26d4
Bump docs
Jan 18, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions go.mod
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -134,6 +134,7 @@ require (
gopkg.in/ini.v1 v1.67.0 // indirect
gopkg.in/yaml.v3 v3.0.1 // indirect
nhooyr.io/websocket v1.8.6 // indirect
pgregory.net/rapid v0.5.5 // indirect
)

replace (
Expand Down
2 changes: 2 additions & 0 deletions go.sum
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3522,6 +3522,8 @@ mvdan.cc/unparam v0.0.0-20220706161116-678bad134442/go.mod h1:F/Cxw/6mVrNKqrR2Yj
nhooyr.io/websocket v1.8.6 h1:s+C3xAMLwGmlI31Nyn/eAehUlZPwfYZu2JXM621Q5/k=
nhooyr.io/websocket v1.8.6/go.mod h1:B70DZP8IakI65RVQ51MsWP/8jndNma26DVA/nFSCgW0=
pack.ag/amqp v0.11.2/go.mod h1:4/cbmt4EJXSKlG6LCfWHoqmN0uFdy5i/+YFz+fTfhV4=
pgregory.net/rapid v0.5.5 h1:jkgx1TjbQPD/feRoK+S/mXw9e1uj6WilpHrXJowi6oA=
pgregory.net/rapid v0.5.5/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
rsc.io/binaryregexp v0.2.0/go.mod h1:qTv7/COck+e2FymRvadv62gMdZztPaShugOCi3I+8D8=
rsc.io/pdf v0.1.1/go.mod h1:n8OzWcQ6Sp37PL01nO98y4iUCRdTGarVfzxY20ICaU4=
rsc.io/quote/v3 v3.1.0/go.mod h1:yEA65RcK8LyAZtP9Kv3t0HmxON59tX3rD+tICJqUlj0=
Expand Down
136 changes: 0 additions & 136 deletions tests/difference/core/README.md
View file
Open in desktop

This file was deleted.

2 changes: 0 additions & 2 deletions tests/difference/core/driver/.gitignore
View file
Open in desktop

This file was deleted.

91 changes: 0 additions & 91 deletions tests/difference/core/driver/common.go
View file
Open in desktop

This file was deleted.

Loading