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

Closed

danwt wants to merge 54 commits intomainfrom danwt/property-based-testing-core-prototype

+1,397-6,948

Commits on Jan 16, 2023

Commits on Jan 17, 2023

Adds info about testing.T issue
Daniel
committed
Rename local symbol
Daniel
committed
Comment clarity
Daniel
committed
Inline method
Daniel
committed
Bump syntactic
Daniel
committed
Check nature of rapid checks
Daniel
committed
removes linter errs
Daniel
committed
Strip down core_test
Daniel
committed
Removes trace stuff
Daniel
committed
Fixes linter issue
Daniel
committed
Refactor, remove trace stuff
Daniel
committed
File system refactor (deletes model)
Daniel
committed
Small refactor
Daniel
committed
Tiny refactor
Daniel
committed
Makes sure simplified seed works
Daniel
committed
Entirely removes seed ordering
Daniel
committed
Removes check for validator ordering
Daniel
committed
Bump
Daniel
committed
Try retrofit setup improvements
Daniel
committed
Fix seed problem
Daniel
committed
Partial fix suite
Daniel
committed
Removes suite
Daniel
committed
Fix setup
Daniel
committed
Del old setup
Daniel
committed
Removes commented line
Daniel
committed
Use dynamic block interval
Daniel
committed
Uses a ZeroState struct
Daniel
committed
Factors setup to a sub package
Daniel
committed
Factors out common
Daniel
committed
Bump
Daniel
committed
rename init state
Daniel
committed
Bump
Daniel
committed
Checkpoint partial val set replication property
Daniel
committed
cp partial
Daniel
committed
Finished val set replication?
Daniel
committed
checkpoint, brokne!
Daniel
committed
Fix pointer bug, remove superfluous prints
Daniel
committed
Parameterize bounds, adds comment
Daniel
committed
Bump docs
Daniel
committed

Commits on Jan 18, 2023