github.com/aakash4dev/cometbft@v0.38.2/spec/mempool/quint/test.sh (about)

     1  #!/bin/sh
     2  
     3  quint test Mempool.qnt
     4  quint run --init consensusInit --step consensusStep --invariant consensusInvariant Consensus.qnt
     5  quint run --init ledgerInit --step ledgerStep --invariant ledgerInvariant Ledger.qnt
     6  quint run --max-steps 30 --invariant allInv --out-itf out.itf Mempool.qnt