logos-storage/logos-storage-proofs-circuits
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-proofs-circuits.git synced 2026-01-05 23:13:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

update the circuit test to the latest r1cs-solver changes (field choice)

Browse Source
This commit is contained in:
Balazs Komuves 2025-05-19 20:28:20 +02:00
parent 180e00434c
commit a197a8a179
No known key found for this signature in database
GPG Key ID: F63B7AEF18435562
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
test/Main.hs
View File

@ -6,7 +6,7 @@ module Main where
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------
import R1CS.Misc ( Verbosity(..) ) import R1CS
import qualified R1CS.Test.Spec as Spec import qualified R1CS.Test.Spec as Spec
@ -19,14 +19,14 @@ import qualified Circuit.CeilingLog2 as CeilingLog2
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------
testSimple :: IO () testSimple :: FieldChoice -> IO ()
testSimple = testSimple' Silent testSimple field = testSimple' field Silent
testSimple' :: Verbosity -> IO () testSimple' :: FieldChoice -> Verbosity -> IO ()
testSimple' verbosity = do testSimple' field verbosity = runWithField field $ \pxy -> do
let runSpec what = Spec.testSemantics what verbosity let runSpec what = Spec.testSemantics pxy what verbosity
let runSpecMany what = Spec.testSemanticsMany what verbosity let runSpecMany what = Spec.testSemanticsMany pxy what verbosity
runSpecMany CeilingLog2.specs runSpecMany CeilingLog2.specs
runSpecMany Log2.specs runSpecMany Log2.specs
@ -40,5 +40,5 @@ testSimple' verbosity = do
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------
main = do main = do
testSimple' Silent -- Info testSimple' Field20 Silent -- Info