add tests for prover

This commit is contained in:
Dmitriy Ryajov 2024-02-06 10:22:14 -06:00
parent 4cfb707180
commit d08b2cd6bc
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4
1 changed files with 9 additions and 0 deletions

View File

@ -26,6 +26,15 @@ import ./helpers
import ../helpers import ../helpers
import ./backends/helpers import ./backends/helpers
const
slotId = 1
samples = 5
blockSize = DefaultBlockSize
cellSize = DefaultCellSize
ecK = 2
ecM = 2
numDatasetBlocks = 8
suite "Test Prover": suite "Test Prover":
let let
slotId = 1 slotId = 1