Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Added first Necessary And Sufficient EraRule tests #4423

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Added first Necessary And Sufficient EraRule tests #4423

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
1f1c3a9
added first Necessary And Sufficient EraRule tests
TimSheard Jun 9, 2024
57a2943
Added Tagging with Apply, Remove, and Invert Status
TimSheard Jun 19, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 5 additions & 2 deletions libs/cardano-ledger-test/cardano-ledger-test.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -63,6 +63,7 @@ library
Test.Cardano.Ledger.Constrained.Conway.PParams
Test.Cardano.Ledger.Constrained.Conway.Gov
Test.Cardano.Ledger.Constrained.Conway.Utxo
Test.Cardano.Ledger.Constrained.Conway.NecessaryAndSufficient
Test.Cardano.Ledger.Examples.BabbageFeatures
Test.Cardano.Ledger.Examples.AlonzoValidTxUTXOW
Test.Cardano.Ledger.Examples.AlonzoInvalidTxUTXOW
Expand Down Expand Up @@ -155,7 +156,8 @@ library
vector,
constrained-generators,
random,
FailT
FailT,
template-haskell

test-suite cardano-ledger-test
type: exitcode-stdio-1.0
Expand All @@ -171,7 +173,8 @@ test-suite cardano-ledger-test
base,
cardano-ledger-test,
tasty,
data-default-class
data-default-class,
hspec

benchmark bench
type: exitcode-stdio-1.0
Expand Down
4 changes: 4 additions & 0 deletions libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/Instances.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE ImportQualifiedPost #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE RecordWildCards #-}
Expand Down Expand Up @@ -154,6 +155,7 @@ import Test.Cardano.Ledger.Allegra.Arbitrary ()
import Test.Cardano.Ledger.Alonzo.Arbitrary ()
import Test.Cardano.Ledger.Core.Utils
import Test.Cardano.Ledger.TreeDiff (ToExpr)
import Test.Cardano.Slotting.Numeric ()
import Test.QuickCheck hiding (Args, Fun, forAll)

type ConwayUnivFns = StringFn : TreeFn : BaseFns
Expand Down Expand Up @@ -265,6 +267,8 @@ instance HasSimpleRep EpochNo
instance IsConwayUniv fn => OrdLike fn EpochNo
instance IsConwayUniv fn => HasSpec fn EpochNo

instance IsConwayUniv fn => NumLike fn EpochNo

instance HasSimpleRep TxIx
instance IsConwayUniv fn => HasSpec fn TxIx

Expand Down
Loading
Loading