Code

Tune tx trace spec#1695

Code

Merged

v0d1ch merged 21 commits intomastercardano-scaling/hydra:masterfrom tune-tx-trace-speccardano-scaling/hydra:tune-tx-trace-specCopy head branch name to clipboardOct 30, 2024

+174-226

Commits

Commits on Oct 27, 2024

• Add coverage to prop_runActions

  Show description for ad0715a
  ch1bo

  committed
  ad0715a

• Increase likelihood of closed state with deltaUTxO

  ch1bo

  committed
  523e2a1

• Increase likelihood of multiple commits

  ch1bo

  committed
  85405f3

• WIP: Draft a plan

  Show description for 495ae2e
  ch1bo

  committed
  495ae2e

• Switch to individual snapshot production while in Open state

  ch1bo

  committed
  a3f63da

• Only use existing genSnapshot when producing new snapshots

  Show description for 7e7003b
  ch1bo

  committed
  7e7003b

• Only keep knownSnapshots and derive latest version / number from it

  ch1bo

  committed
  20913ca

• Revert "Only keep knownSnapshots and derive latest version / number from it"

  Show description for bd42c46
  ch1bo

  committed
  bd42c46

• Generate plausible sequences of snapshots (version and number)

  ch1bo

  committed
  31b614f

• Allow for decrement with empty utxo to decommit

  Show description for 8b03153
  ch1bo

  committed
  8b03153

• Generate Nothing if realWorldModelUTxO is empty

  Show description for 9c6da41
  ch1bo

  committed
  9c6da41

• Not shrink relevant NewSnapshots away

  ch1bo

  committed
  1280f85

• Only update pendingDecommitUTxO in contest if not outdated

  ch1bo

  committed
  272268b

• Make negative decrements fail gracefully

  Show description for 3d6ae8f
  ch1bo

  committed
  3d6ae8f

• Fix excessive discarding by generating better snapshots

  Show description for f8312ae
  ch1bo

  committed
  f8312ae

• Small tuning on generators

  ch1bo

  committed
  cdebb64

• Model toDecommit evolution as we would expect it

  Show description for d105327
  ch1bo

  committed
  d105327

• Fix nextState of Close/Contest

  ch1bo

  committed
  3a150cd

• Futher simplify ModelUTxO

  Show description for d96d55c
  ch1bo

  committed
  d96d55c

• Drop old, commented code

  ch1bo

  committed
  ea603b9

• Enable coverage check on main property

  Show description for 461282e
  ch1bo

  committed
  461282e