Code

Adds more verification tests#475

Code

Merged

romac merged 12 commits intomasterinformalsystems/tendermint-rs:masterfrom shivani/verification_testsinformalsystems/tendermint-rs:shivani/verification_testsCopy head branch name to clipboardJul 29, 2020

+5,365-4,612

Commits

Commits on Jul 22, 2020

• fix predicate bug

  Shivani912

  committed
  0b6d2ee

• fix fmt error

  Shivani912

  committed
  d51a025

Commits on Jul 23, 2020

• changes from ismail's comments + remove header time check

  Shivani912

  committed
  68188bc

• set clock_drift to 1 sec for testing

  Shivani912

  committed
  3b1bac4

• remove unnecessary Time type conversion

  Shivani912

  committed
  7ea0d50

• more verification tests

  Shivani912

  committed
  f02bb48

• cargo fmt

  Shivani912

  committed
  c4e1d03

• update link to test generator

  Shivani912

  committed
  b1b65b5

Commits on Jul 27, 2020

• merge master

  Shivani912

  committed
  b74a172

Commits on Jul 29, 2020

• Merge branch 'master' into shivani/verification_tests

  Shivani912

  committed
  9c2bca0

• comment out deprecated test as per Romain's suggestion

  Shivani912

  committed
  8bfeca2

• Merge branch 'master' into shivani/verification_tests

  Shivani912

  committed
  f810172