tendermint

8465 Commits

183 Branches

291 MiB

Tree: cdc217357d

Commit Graph

Author	SHA1	Message	Date
Anton Kaliaev	8e6194626e	light: model-based tests (#5461 ) This is the first iteration of model-based testing in Go Tendermint. The test runner is using the static JSON fixtures located under the ./json directory. In the future, the Rust tensgen binary will be used to generate those (given the static intermediate scenarios and the test seed, which will be published along with each testgen release). Closes: #5322	4 years ago

Author

SHA1

Message

Date

Anton Kaliaev

8e6194626e

light: model-based tests (#5461 )

This is the first iteration of model-based testing in Go Tendermint. The test runner is using the static JSON fixtures located under the ./json directory. In the future, the Rust tensgen binary will be used to generate those (given the static intermediate scenarios and the test seed, which will be published along with each testgen release).

Closes: #5322

4 years ago

1 Commits (cdc217357df69656721e72c7b282b385a5f84653)