mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
12 lines
330 B
Haskell
12 lines
330 B
Haskell
module Main(main) where
|
|
|
|
import System.FilePath(takeExtension)
|
|
import TestLib(mainWith,Config(..))
|
|
|
|
main :: IO ()
|
|
main = mainWith Config { cfgDefaultBinary = "cryptol"
|
|
, cfgBinOpts = \f -> ["-b",f]
|
|
, cfgIsTestCase = \f -> takeExtension f == ".icry"
|
|
}
|
|
|