Skip to content

Commit

Permalink
add version note to keelung test
Browse files Browse the repository at this point in the history
  • Loading branch information
oxarbitrage committed Mar 17, 2024
1 parent 3d18939 commit a755a72
Showing 1 changed file with 11 additions and 1 deletion.
12 changes: 11 additions & 1 deletion test/unit/keelung/Spec.hs
Original file line number Diff line number Diff line change
@@ -1,3 +1,13 @@
{- Keelung tests.
`stack test salsa20:test:salsa20-keelung-unit-tests`
or
`cabal test salsa20:test:salsa20-keelung-unit-tests`
Need `keelung-compiler` version `v0.19.1` installed in the local machine.
-}
{-# LANGUAGE DataKinds #-}

import Quarterround
Expand Down Expand Up @@ -131,5 +141,5 @@ main = do
-- witness creation
-- _ <- witness gf181 (coreKeelung demoInputUInt32 2) [] []

-- just return an empty `Count` so we don't have to return the one from a specific test:
-- just return an empty `Count` so we don't have to return one from a specific test:
return (Counts 0 0 0 0)

0 comments on commit a755a72

Please sign in to comment.