@@ -38,7 +38,7 @@ module PlutusTx.Test (
38
38
import Prelude
39
39
40
40
import Control.Exception (SomeException (.. ))
41
- import Control.Lens (Field1 (_1 ), view , (^.) )
41
+ import Control.Lens (Field1 (_1 ))
42
42
import Control.Monad.Except (ExceptT , MonadError (throwError ), runExceptT )
43
43
import Data.Either.Extras (fromRightM )
44
44
import Data.Kind (Type )
@@ -49,8 +49,7 @@ import PlutusCore qualified as PLC
49
49
import PlutusCore.Builtin qualified as PLC
50
50
import PlutusCore.Evaluation.Machine.ExBudget qualified as PLC
51
51
import PlutusCore.Evaluation.Machine.ExBudgetingDefaults qualified as PLC
52
- import PlutusCore.Pretty (Pretty (pretty ), PrettyBy (prettyBy ), PrettyConfigClassic ,
53
- PrettyConfigName , PrettyConst , PrettyUni , Render (render ),
52
+ import PlutusCore.Pretty (PrettyConfigClassic , PrettyConfigName , PrettyConst , PrettyUni ,
54
53
prettyClassicSimple , prettyPlcClassicSimple , prettyReadable ,
55
54
prettyReadableSimple )
56
55
import PlutusCore.Pretty qualified as PLC
@@ -63,6 +62,9 @@ import PlutusIR.Test ()
63
62
import PlutusIR.Transform.RewriteRules as PIR
64
63
import PlutusPrelude
65
64
import PlutusTx.Code (CompiledCode , CompiledCodeIn , getPir , getPirNoAnn , getPlcNoAnn , sizePlc )
65
+ import Test.Tasty (TestName , TestTree )
66
+ import Test.Tasty.Extras ()
67
+ import Test.Tasty.Providers (IsTest (run , testOptions ), singleTest , testFailed , testPassed )
66
68
import UntypedPlutusCore qualified as UPLC
67
69
import UntypedPlutusCore.Evaluation.Machine.Cek qualified as UPLC
68
70
0 commit comments