Skip to content

Commit 3c58ced

Browse files
authored
Merge pull request #4853 from IntersectMBO/td/adjust-conformance-imp-comments
Update comments about enabling conformance imp tests
2 parents 562ee08 + b7113fc commit 3c58ced

File tree

1 file changed

+2
-5
lines changed
  • libs/cardano-ledger-conformance/test/Test/Cardano/Ledger/Conformance

1 file changed

+2
-5
lines changed

libs/cardano-ledger-conformance/test/Test/Cardano/Ledger/Conformance/Imp.hs

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -157,12 +157,9 @@ spec =
157157
xdescribe "ENACT" Enact.spec
158158
xdescribe "EPOCH" Epoch.spec
159159
xdescribe "GOV" Gov.spec
160-
-- GOVCERT tests enabling pending on these two issues in spec:
161-
-- https://github.com/IntersectMBO/formal-ledger-specifications/issues/634
162-
-- https://github.com/IntersectMBO/formal-ledger-specifications/issues/633
163160
describe "GOVCERT" GovCert.spec
164-
-- LEDGER tests enabling pending (at least) on the implementation of scriptSize in the spec:
165-
-- https://github.com/IntersectMBO/formal-ledger-specifications/issues/620
161+
-- LEDGER tests pending on the dRep delegations cleanup in the spec:
162+
-- https://github.com/IntersectMBO/formal-ledger-specifications/issues/635
166163
xdescribe "LEDGER" Ledger.spec
167164
xdescribe "RATIFY" Ratify.spec
168165
xdescribe "UTXO" Utxo.spec

0 commit comments

Comments
 (0)