Add weigh

IntersectMBO · Mar 19, 2019 · 3bd1737 · 3bd1737
1 parent d60ae7e
commit 3bd1737
Show file tree

Hide file tree

Showing 2 changed files with 49 additions and 1 deletion.
diff --git a/plutus-core-interpreter/plutus-core-interpreter.cabal b/plutus-core-interpreter/plutus-core-interpreter.cabal
@@ -94,7 +94,7 @@ test-suite plutus-core-interpreter-test
     if impl(ghc >=8.4)
         ghc-options: -Wmissing-export-lists
 
-benchmark language-plutus-core-bench
+benchmark plutus-core-interpreter-bench
     type: exitcode-stdio-1.0
     main-is: Bench.hs
     hs-source-dirs: bench
@@ -117,3 +117,27 @@ benchmark language-plutus-core-bench
 
     if impl(ghc >=8.4)
         ghc-options: -Wmissing-export-lists
+
+benchmark plutus-core-interpreter-weigh
+    type: exitcode-stdio-1.0
+    main-is: Bench.hs
+    hs-source-dirs: weigh
+    default-language: Haskell2010
+    ghc-options: -Wall -Wincomplete-uni-patterns
+                 -Wincomplete-record-updates -Wredundant-constraints -Widentities
+                 -rtsopts
+    build-depends:
+        base -any,
+        language-plutus-core -any,
+        plutus-core-interpreter -any,
+        weigh -any,
+        bytestring -any
+
+    if flag(eventlog)
+        ghc-options: -eventlog
+
+    if flag(development)
+        ghc-options: -Werror
+
+    if impl(ghc >=8.4)
+        ghc-options: -Wmissing-export-lists
diff --git a/plutus-core-interpreter/weigh/Bench.hs b/plutus-core-interpreter/weigh/Bench.hs
@@ -0,0 +1,24 @@
+module Main (main) where
+
+import           Control.Monad                              (void)
+import qualified Data.ByteString.Lazy                       as BSL
+import           Language.PlutusCore
+import           Language.PlutusCore.Interpreter.CekMachine (runCek)
+import           Weigh
+
+main :: IO ()
+main = do
+    ~(f, g) <- evalFiles
+    let processor :: BSL.ByteString -> Either (Error AlexPosn) (Program TyName Name ())
+        processor contents = void <$> (runQuoteT $ parseScoped contents)
+        f' = processor f
+        g' = processor g
+
+    mainWith $ sequence_
+        [ func "valid" (fmap (runCek mempty)) f'
+        , func "valid" (fmap (runCek mempty)) g'
+        ]
+
+    where evalFile0 = BSL.readFile "../language-plutus-core/test/Evaluation/Golden/verifySignature.plc"
+          evalFile1 = BSL.readFile "../language-plutus-core/test/Evaluation/Golden/verifySignatureError.plc"
+          evalFiles = (,) <$> evalFile0 <*> evalFile1