Mutation framework improval

[v0d1ch]

Improve the Mutation framework by adding optional error messages to make sure we are failing for the right reason.

To check before merging:

• CHANGELOG is up to date
• Up to date with master

[github-actions]

Transactions Costs

Sizes and execution budgets for Hydra protocol transactions. Note that unlisted parameters are currently using arbitrary values and results are not fully deterministic and comparable to previous runs.

Metadata
Generated at	2023-01-18 10:02:48.956735672 UTC
Max. memory units	14000000
Max. CPU units	10000000000
Max. tx size (kB)	16384

Cost of Init Transaction

Parties	Tx size	% max Mem	% max CPU	Min fee ₳
1	4984	12.34	4.92	0.50
2	5188	13.09	5.17	0.52
3	5393	15.17	5.98	0.55
5	5804	19.36	7.60	0.62
10	6829	27.22	10.57	0.75
46	14215	99.01	38.25	1.85

Cost of Commit Transaction

Currently only one UTxO per commit allowed (this is about to change soon)

UTxO	Tx size	% max Mem	% max CPU	Min fee ₳
1	633	20.81	8.42	0.41

Cost of CollectCom Transaction

Parties	Tx size	% max Mem	% max CPU	Min fee ₳
1	12627	24.52	9.63	0.97
2	12980	43.92	17.34	1.20
3	13259	63.63	25.33	1.43
4	13723	94.54	37.65	1.79

Cost of Close Transaction

Parties	Tx size	% max Mem	% max CPU	Min fee ₳
1	9491	7.89	3.27	0.66
2	9688	9.16	3.92	0.68
3	9823	9.47	4.19	0.69
5	10180	11.38	5.24	0.73
10	11045	15.81	7.72	0.82
30	14384	32.09	17.06	1.17
61	15479	37.09	14.24	1.23

Cost of Contest Transaction

Parties	Tx size	% max Mem	% max CPU	Min fee ₳
1	9486	7.70	3.19	0.65
2	9653	8.49	3.65	0.67
3	9876	9.99	4.39	0.70
5	10179	11.24	5.17	0.73
10	11044	15.72	7.68	0.82
30	14345	31.43	16.79	1.16
42	16352	41.39	22.47	1.37

Cost of Abort Transaction

Some variation because of random mixture of still initial and already committed outputs.

Parties	Tx size	% max Mem	% max CPU	Min fee ₳
1	13955	26.07	11.09	1.05
2	14096	38.98	16.59	1.21
3	14664	65.32	29.57	1.54
4	14663	77.62	33.84	1.67
5	14528	90.87	38.95	1.80

Cost of FanOut Transaction

Involves spending head output and burning head tokens. Uses ada-only UTxO for better comparability.

UTxO	Tx size	% max Mem	% max CPU	Min fee ₳
1	13637	9.91	4.32	0.86
2	13804	12.20	5.50	0.90
3	13838	14.27	6.61	0.92
5	13784	16.01	7.85	0.94
10	14159	25.17	12.86	1.07
50	15402	84.64	47.50	1.85
59	15858	99.44	55.85	2.05

[github-actions]

Test Results

279 tests  +11   273 ✔️ +11   13m 1s ⏱️ +16s
  95 suites +  4       6 💤 ±  0 
    5 files   +  1       0 ❌ ±  0 

Results for commit 7a34b0b. ± Comparison against base commit 39e701e.

[ch1bo]

This looks good. Although I would prefer the Maybe Text to be after the label.. but this can be done in another PR.