16 lines
287 B
Idris
16 lines
287 B
Idris
module Tests
|
|
|
|
import Test.Golden
|
|
import Language.Reflection
|
|
import System
|
|
import System.Path
|
|
|
|
%language ElabReflection
|
|
|
|
projDir = %runElab idrisDir ProjectDir
|
|
testDir = projDir </> "tests"
|
|
|
|
tests = testsInDir { poolName = "quox golden tests", dirName = testDir }
|
|
|
|
main = runner [!tests]
|