Code

Validate txs in model#1309

Code

Merged

ch1bo merged 14 commits intomastercardano-scaling/hydra:masterfrom validate-txs-in-modelcardano-scaling/hydra:validate-txs-in-modelCopy head branch name to clipboardFeb 20, 2024

+158-95

Commits

Commits on Feb 19, 2024

• Actually validate transactions in model tests

  Show description for 8b157e5
  

  ch1bo

  authored and

  v0d1ch

  committed
  8b157e5

  Copy full SHA for 8b157e5

• Change some forAllQ to forAllNonVariableQ

  Show description for 052a16c
  

  ch1bo

  authored and

  v0d1ch

  committed
  052a16c

  Copy full SHA for 052a16c

• Make sure to match on committed utxo in performCommit

  v0d1ch

  committed
  914e9f3

  Copy full SHA for 914e9f3

• Add roundtrip for UTxO to/from Api

  v0d1ch

  committed
  5c840a2

  Copy full SHA for 5c840a2

• Start shrinking actions

  

  abailly

  authored and

  v0d1ch

  committed
  d5e3129

  Copy full SHA for d5e3129

• All nodes wait to observe a commit

  Show description for cc06ef7
  

  abailly

  authored and

  v0d1ch

  committed
  cc06ef7

  Copy full SHA for cc06ef7

• Write io sim traces to /tmp dir on model failure

  Show description for 1dd60c0
  ch1bo

  committed
  1dd60c0

  Copy full SHA for 1dd60c0

• Fix MockChain roll forward

  Show description for 10b4d47
  ch1bo

  committed
  10b4d47

  Copy full SHA for 10b4d47

• Add note on MockChain behavior

  Show description for 674bcc8
  ch1bo

  committed
  674bcc8

  Copy full SHA for 674bcc8

• Commit the pending utxo already seeded to party

  Show description for ea8b26f
  

  v0d1ch

  authored and

  ch1bo

  committed
  ea8b26f

  Copy full SHA for ea8b26f

• Wait for needed UTxO some time

  Show description for 8f96297
  

  v0d1ch

  authored and

  ch1bo

  committed
  8f96297

  Copy full SHA for 8f96297

• Revert "Wait for needed UTxO some time"

  Show description for c50725c
  ch1bo

  committed
  c50725c

  Copy full SHA for c50725c

• Fix MockChain submission during multiple rollbacks

  Show description for b1b802c
  ch1bo

  committed
  b1b802c

  Copy full SHA for b1b802c

• MockChain only includes valid transactions into blocks

  Show description for b0a91e2
  ch1bo

  committed
  b0a91e2

  Copy full SHA for b0a91e2