mirror of
https://github.com/logos-storage/logos-storage-proofs-circuits.git
synced 2026-01-02 13:33:07 +00:00
45 lines
1.2 KiB
Haskell
45 lines
1.2 KiB
Haskell
|
|
-- | Testing some sub-circuits
|
|
--
|
|
|
|
module Main where
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
import R1CS.Misc ( Verbosity(..) )
|
|
|
|
import qualified R1CS.Test.Spec as Spec
|
|
|
|
import qualified Circuit.BinaryLTE as BinaryLTE
|
|
import qualified Circuit.BinaryGTE as BinaryGTE
|
|
import qualified Circuit.BinaryCompare as BinaryCmp
|
|
import qualified Circuit.ExtractBits as ExtractBits
|
|
import qualified Circuit.Log2 as Log2
|
|
import qualified Circuit.CeilingLog2 as CeilingLog2
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
testSimple :: IO ()
|
|
testSimple = testSimple' Silent
|
|
|
|
testSimple' :: Verbosity -> IO ()
|
|
testSimple' verbosity = do
|
|
|
|
let runSpec what = Spec.testSemantics what verbosity
|
|
let runSpecMany what = Spec.testSemanticsMany what verbosity
|
|
|
|
runSpecMany CeilingLog2.specs
|
|
runSpecMany Log2.specs
|
|
|
|
runSpecMany BinaryCmp.specs
|
|
runSpecMany BinaryLTE.specs
|
|
runSpecMany BinaryGTE.specs
|
|
|
|
-- runSpecMany ExtractBits.specs -- this test doesn't work currently?
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
main = do
|
|
testSimple' Silent -- Info
|
|
|