| module Main where |
|
|
| import Test.Tasty |
|
|
| import qualified Test.Core.AST as AST |
| import qualified Test.Core.Equality as Equality |
| import qualified Test.Core.Invariants as Invariants |
| import qualified Test.Core.Module as Module |
| import qualified Test.Core.ProofTerm as ProofTerm |
| import qualified Test.Core.TypeChecker as TypeChecker |
| import qualified Test.Core.Termination as Termination |
| import qualified Test.Core.Positivity as Positivity |
| import qualified Test.Core.Pattern as Pattern |
| import qualified Test.Surface.Lexer as SurfaceLexer |
| import qualified Test.Surface.Parser as SurfaceParser |
| import qualified Test.Surface.Elaborator as SurfaceElaborator |
| import qualified Test.StdLib.Setoid as StdLibSetoid |
| import qualified Test.StdLib.Lattice as StdLibLattice |
| import qualified Test.StdLib.Absorption as StdLibAbsorption |
| import qualified Test.StdLib.Monomorphism as StdLibMonomorphism |
| import qualified Test.Backend.CodeGen as BackendCodeGen |
| import qualified Test.Backend.TermCompiler as BackendTermCompiler |
| import qualified Test.Backend.TypeCompiler as BackendTypeCompiler |
| import qualified Test.Backend.ProofCompiler as BackendProofCompiler |
| import qualified Test.Backend.Emit as BackendEmit |
| import qualified Test.Backend.Integration as BackendIntegration |
| import qualified Test.Verify.PipelineTests as VerifyPipeline |
| import qualified Test.Verify.ReportTests as VerifyReport |
| import qualified Test.Verify.CITests as VerifyCI |
| import qualified Test.Verify.ErrorReportTests as VerifyErrorReport |
|
|
| main :: IO () |
| main = defaultMain tests |
|
|
| tests :: TestTree |
| tests = testGroup "Assertica" |
| [ AST.tests |
| , Equality.tests |
| , Invariants.tests |
| , Module.tests |
| , ProofTerm.tests |
| , TypeChecker.tests |
| , Termination.tests |
| , Positivity.tests |
| , Pattern.tests |
| , SurfaceLexer.tests |
| , SurfaceParser.tests |
| , SurfaceElaborator.tests |
| , StdLibSetoid.tests |
| , StdLibLattice.tests |
| , StdLibAbsorption.tests |
| , StdLibMonomorphism.tests |
| , BackendCodeGen.tests |
| , BackendTermCompiler.tests |
| , BackendTypeCompiler.tests |
| , BackendProofCompiler.tests |
| , BackendEmit.tests |
| , BackendIntegration.tests |
| , VerifyPipeline.tests |
| , VerifyReport.tests |
| , VerifyCI.tests |
| , VerifyErrorReport.tests |
| ] |
|
|
