Skip to content

Commit f6cb080

Browse files
committed
wip
1 parent 33d572a commit f6cb080

File tree

4 files changed

+13
-6
lines changed

4 files changed

+13
-6
lines changed

nix/project.nix

+1
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,7 @@ let
2828
packages.plutus-core.doCoverage = true;
2929
packages.plutus-executables.doCoverage = true;
3030
packages.plutus-tx-test-util.doCoverage = true;
31+
# packages.plutus-ledger-api.doCoverage = true;
3132

3233
packages.plutus-core.configureFlags = [ "--ghc-option=-D__USING_HPC__" ];
3334
packages.plutus-ledger-api.configureFlags = [ "--ghc-option=-D__USING_HPC__" ];

plutus-core/untyped-plutus-core/test/Evaluation/Builtins/Definition.hs

+4-2
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,9 @@ import Hedgehog.Gen qualified as Gen
7272
import Hedgehog.Range qualified as Range
7373
import Prettyprinter (vsep)
7474
import Test.Tasty (TestTree, testGroup)
75-
import Test.Tasty.ExpectedFailure qualified as Tasty
75+
#ifdef __USING_HPC__
76+
import Test.Tasty.ExpectedFailure (ignoreTest)
77+
#endif
7678
import Test.Tasty.Hedgehog (testPropertyNamed)
7779
import Test.Tasty.HUnit (Assertion, assertBool, assertFailure, testCase, (@=?), (@?=))
7880
import Test.Tasty.QuickCheck qualified as QC
@@ -1250,7 +1252,7 @@ test_definition =
12501252
, test_IdBuiltinData
12511253
, test_TrackCostsRestricting
12521254
#ifdef __USING_HPC__
1253-
, Tasty.ignoreTest test_TrackCostsRetaining
1255+
, ignoreTest test_TrackCostsRetaining
12541256
#else
12551257
, test_TrackCostsRetaining
12561258
#endif

plutus-ledger-api/test/Spec/Data/Eval.hs

+4-2
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,9 @@ import Data.Maybe (fromJust)
3333
import Data.Set qualified as Set
3434
import NoThunks.Class
3535
import Test.Tasty
36-
import Test.Tasty.ExpectedFailure qualified as Tasty
36+
#ifdef __USING_HPC__
37+
import Test.Tasty.ExpectedFailure (ignoreTest)
38+
#endif
3739
import Test.Tasty.HUnit
3840

3941
{- Note [Direct UPLC code]
@@ -134,7 +136,7 @@ tests = testGroup "eval"
134136
-- , testUnlifting
135137
, evaluationContextCacheIsComplete
136138
#ifdef __USING_HPC__
137-
, Tasty.ignoreTest evaluationContextNoThunks
139+
, ignoreTest evaluationContextNoThunks
138140
#else
139141
, evaluationContextNoThunks
140142
#endif

plutus-ledger-api/test/Spec/Eval.hs

+4-2
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,9 @@ import Data.Maybe (fromJust)
3333
import Data.Set qualified as Set
3434
import NoThunks.Class
3535
import Test.Tasty
36-
import Test.Tasty.ExpectedFailure qualified as Tasty
36+
#ifdef __USING_HPC__
37+
import Test.Tasty.ExpectedFailure (ignoreTest)
38+
#endif
3739
import Test.Tasty.HUnit
3840

3941
{- Note [Direct UPLC code]
@@ -134,7 +136,7 @@ tests = testGroup "eval"
134136
-- , testUnlifting
135137
, evaluationContextCacheIsComplete
136138
#ifdef __USING_HPC__
137-
, Tasty.ignoreTest evaluationContextNoThunks
139+
, ignoreTest evaluationContextNoThunks
138140
#else
139141
, evaluationContextNoThunks
140142
#endif

0 commit comments

Comments
 (0)