2024-10-02 22:55:15 +02:00
|
|
|
|
|
|
|
|
module GenAll where
|
|
|
|
|
|
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
|
import qualified TestGen.TestGoldilocks as F
|
|
|
|
|
import qualified TestGen.TestPermutation as P
|
2024-10-03 00:46:50 +02:00
|
|
|
import qualified TestGen.TestCompress as C
|
2024-10-02 22:55:15 +02:00
|
|
|
import qualified TestGen.TestSponge as S
|
|
|
|
|
import qualified TestGen.TestMerkle as M
|
|
|
|
|
|
|
|
|
|
import Common
|
|
|
|
|
|
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
|
|
2024-10-03 00:46:50 +02:00
|
|
|
writeTestCasesFor :: Hash -> IO ()
|
|
|
|
|
writeTestCasesFor hash = do
|
2024-10-02 22:55:15 +02:00
|
|
|
P.writeTests hash
|
2024-10-03 00:46:50 +02:00
|
|
|
C.writeTests hash
|
2024-10-02 22:55:15 +02:00
|
|
|
S.writeTests hash
|
|
|
|
|
M.writeTests hash
|
|
|
|
|
|
|
|
|
|
--------------------------------------------------------------------------------
|