File tree Expand file tree Collapse file tree 1 file changed +2
-0
lines changed
cardano-cli/test/cardano-cli-golden/Test/Golden/Conway/Transaction Expand file tree Collapse file tree 1 file changed +2
-0
lines changed Original file line number Diff line number Diff line change @@ -43,6 +43,7 @@ hprop_golden_conway_build_raw_treasury_donation =
4343 H. diffFileVsGoldenFile outFile goldenFile
4444
4545-- Current treasury value is not mandatory for donations, see formal spec:
46+ --
4647-- \* https://intersectmbo.github.io/formal-ledger-specifications/site/Ledger.Conway.Specification.Utxo.html#sec:the-utxo-transition-system
4748-- \* https://intersectmbo.github.io/formal-ledger-specifications/site/Notation.html#the-maybe-type
4849-- And discussion:
@@ -79,6 +80,7 @@ hprop_golden_conway_build_raw_donation_no_current_treasury_value =
7980 H. diffFileVsGoldenFile outFile goldenFile
8081
8182-- Donation is not mandatory for current treasury value, see formal spec:
83+ --
8284-- \* https://intersectmbo.github.io/formal-ledger-specifications/site/Ledger.Conway.Specification.Utxo.html#sec:the-utxos-transition-rule
8385-- \* https://intersectmbo.github.io/formal-ledger-specifications/site/Notation.html#the-maybe-type
8486
You can’t perform that action at this time.
0 commit comments