Code

Enable MBT on master#686

Code

Merged

andrey-kuprianov merged 6 commits intomasterinformalsystems/tendermint-rs:masterfrom shivani/enable-mbtinformalsystems/tendermint-rs:shivani/enable-mbtCopy head branch name to clipboardNov 19, 2020

+56,204-49,265

Commits

Commits on Nov 19, 2020

• regenerate MBT static test files

  Shivani912

  committed
  0e4cce9

  Copy full SHA for 0e4cce9

• disable unparseable tests

  Shivani912

  committed
  a3902f0

  Copy full SHA for a3902f0

• add total_voting_power field to MBT test generation

  Shivani912

  committed
  1316acf

  Copy full SHA for 1316acf

• remove accidentally added error logging

  Shivani912

  committed
  615efc1

  Copy full SHA for 615efc1

• disable fuzzing and fix validator sorting

  Shivani912

  committed
  b9c1bf8

  Copy full SHA for b9c1bf8

• cargo fmt

  Shivani912

  committed
  cc21652

  Copy full SHA for cc21652