Remove plutus-tx-plugin test Lib module which duplicates PlutusTx.Test

Author: SeungheonOh

plutus-tx-plugin/plutus-tx-plugin.cabal

@@ -141,7 +141,6 @@ test-suite plutus-tx-plugin-tests
     IntegerLiterals.Strict.NegativeLiterals.Spec
     IntegerLiterals.Strict.NoNegativeLiterals.Spec
     IsData.Spec
-    Lib
     Lift.Spec
     List.Properties1
     List.Properties2

plutus-tx-plugin/test/Lib.hs

@@ -38,7 +38,7 @@ strict = testNested "Strict" . pure $ testNestedGhc
   -- in this instance (see
   -- https://github.com/IntersectMBO/plutus/pull/5371#discussion_r1285087508),
   -- however we have now fixed the bug on our side so it's just GHC being annoying.
-  , goldenEvalCekLog "issue4645" [ issue4645 ]
+  , goldenEvalCekLog "issue4645" issue4645
   ]
 
 strictAdd :: CompiledCode (Integer -> Integer -> Integer)

plutus-tx-plugin/test/Plugin/Strict/Spec.hs

@@ -0,0 +1,2 @@
+An error has occurred:
+The machine terminated because of an error, either from a built-in function or from an explicit use of 'error'.

plutus-tx-plugin/test/Strictness/9.6/lambda-default.budget.golden

@@ -0,0 +1,2 @@
+An error has occurred:
+The machine terminated because of an error, either from a built-in function or from an explicit use of 'error'.

plutus-tx-plugin/test/Strictness/9.6/lambda-nonstrict.budget.golden

@@ -0,0 +1,2 @@
+An error has occurred:
+The machine terminated because of an error, either from a built-in function or from an explicit use of 'error'.

plutus-tx-plugin/test/Strictness/9.6/lambda-strict.budget.golden

@@ -0,0 +1,3 @@
+cpu: 393439
+mem: 1802
+size: 27

plutus-tx-plugin/test/Strictness/9.6/let-default.budget.golden

@@ -0,0 +1,3 @@
+cpu: 393439
+mem: 1802
+size: 27

plutus-tx-plugin/test/Strictness/9.6/let-nonstrict.budget.golden

@@ -0,0 +1,3 @@
+cpu: 393439
+mem: 1802
+size: 27

plutus-tx-plugin/test/Strictness/9.6/let-strict.budget.golden

@@ -1,15 +1,12 @@
-(program
-  1.1.0
-  (let
-    (nonrec)
-    (datatypebind
-      (datatype
-        (tyvardecl Bool (type))
+(let
+  (nonrec)
+  (datatypebind
+    (datatype
+      (tyvardecl Bool (type))
 
-        Bool_match
-        (vardecl True Bool) (vardecl False Bool)
-      )
+      Bool_match
+      (vardecl True Bool) (vardecl False Bool)
     )
-    False
   )
+  False
 )

plutus-tx-plugin/test/TH/9.6/all.eval-cek.golden renamed to plutus-tx-plugin/test/TH/9.6/all.eval.golden

@@ -1,58 +1,55 @@
-(program
-  1.1.0
-  (let
-    (nonrec)
-    (termbind
-      (strict)
-      (vardecl
-        multiplyInteger (fun (con integer) (fun (con integer) (con integer)))
-      )
-      (builtin multiplyInteger)
+(let
+  (nonrec)
+  (termbind
+    (strict)
+    (vardecl
+      multiplyInteger (fun (con integer) (fun (con integer) (con integer)))
     )
-    (termbind
-      (nonstrict)
-      (vardecl
-        multiplyInteger (fun (con integer) (fun (con integer) (con integer)))
-      )
-      (lam
-        x
-        (con integer)
-        (let
-          (nonrec)
-          (termbind (strict) (vardecl x (con integer)) x)
-          (lam
-            y
-            (con integer)
-            (let
-              (nonrec)
-              (termbind (strict) (vardecl y (con integer)) y)
-              [ [ multiplyInteger x ] y ]
-            )
-          )
-        )
-      )
+    (builtin multiplyInteger)
+  )
+  (termbind
+    (nonstrict)
+    (vardecl
+      multiplyInteger (fun (con integer) (fun (con integer) (con integer)))
     )
     (lam
-      ds
+      x
       (con integer)
       (let
         (nonrec)
-        (termbind (strict) (vardecl ds (con integer)) ds)
-        (termbind
-          (strict)
-          (vardecl y (con integer))
+        (termbind (strict) (vardecl x (con integer)) x)
+        (lam
+          y
+          (con integer)
           (let
             (nonrec)
-            (termbind
-              (strict)
-              (vardecl y (con integer))
-              [ [ multiplyInteger ds ] (con integer 1) ]
-            )
-            [ [ multiplyInteger y ] y ]
+            (termbind (strict) (vardecl y (con integer)) y)
+            [ [ multiplyInteger x ] y ]
+          )
+        )
+      )
+    )
+  )
+  (lam
+    ds
+    (con integer)
+    (let
+      (nonrec)
+      (termbind (strict) (vardecl ds (con integer)) ds)
+      (termbind
+        (strict)
+        (vardecl y (con integer))
+        (let
+          (nonrec)
+          (termbind
+            (strict)
+            (vardecl y (con integer))
+            [ [ multiplyInteger ds ] (con integer 1) ]
           )
+          [ [ multiplyInteger y ] y ]
         )
-        [ [ multiplyInteger y ] y ]
       )
+      [ [ multiplyInteger y ] y ]
     )
   )
 )

plutus-tx-plugin/test/TH/9.6/and.pir.golden

@@ -1,26 +1,22 @@
-(program
-  1.1.0
-  (let
-    (nonrec)
-    (datatypebind
-      (datatype
-        (tyvardecl Bool (type))
+(let
+  (nonrec)
+  (datatypebind
+    (datatype
+      (tyvardecl Bool (type))
 
-        Bool_match
-        (vardecl True Bool) (vardecl False Bool)
-      )
+      Bool_match
+      (vardecl True Bool) (vardecl False Bool)
     )
-    (lam
-      ds
-      Bool
-      (let
-        (nonrec)
-        (termbind (strict) (vardecl ds Bool) ds)
-        [
-          [ { [ Bool_match ds ] (con integer) } (con integer 1) ]
-          (con integer 2)
-        ]
-      )
+  )
+  (lam
+    ds
+    Bool
+    (let
+      (nonrec)
+      (termbind (strict) (vardecl ds Bool) ds)
+      [
+        [ { [ Bool_match ds ] (con integer) } (con integer 1) ] (con integer 2)
+      ]
     )
   )
 )

plutus-tx-plugin/test/TH/9.6/convertString.eval-cek.golden renamed to plutus-tx-plugin/test/TH/9.6/convertString.eval.golden

@@ -15,15 +15,14 @@ module TH.Spec (tests) where
 
 import Test.Tasty.Extras
 
-import Lib
-
 import PlutusCore.Pretty
 
 import PlutusTx
 import PlutusTx.Builtins qualified as Builtins
 import PlutusTx.List qualified as List
 import PlutusTx.Prelude
 import PlutusTx.Show (show)
+import PlutusTx.Test
 
 import Prelude qualified as Haskell
 
@@ -41,11 +40,11 @@ tests = testNested "TH" . pure $ testNestedGhc
   [ goldenPir "simple" simple
   , goldenPir "power" powerPlc
   , goldenPir "and" andPlc
-  , goldenEvalCek "all" [allPlc]
-  , goldenEvalCek "convertString" [convertString]
-  , goldenEvalCekLog "traceDirect" [traceDirect]
-  , goldenEvalCekLog "tracePrelude" [tracePrelude]
-  , goldenEvalCekLog "traceRepeatedly" [traceRepeatedly]
+  , goldenEvalCek "all" allPlc
+  , goldenEvalCek "convertString" convertString
+  , goldenEvalCekLog "traceDirect" traceDirect
+  , goldenEvalCekLog "tracePrelude" tracePrelude
+  , goldenEvalCekLog "traceRepeatedly" traceRepeatedly
   -- want to see the raw structure, so using Show
   , nestedGoldenVsDoc "someData" "" (pretty $ Haskell.show someData)
   ]