lattest-lib-0.1.1: lattest-lib.cabal

cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.39.1.
--
-- see: https://github.com/sol/hpack

name:           lattest-lib
version:        0.1.1
synopsis:       Model-based testing framework
description:    Welcome to Lattest, the latest attested lattice testing tech!
                .
                The purpose of Lattest to assist in model-based testing: set up a test for external systems, where the expected behaviour of that system
                is expressed as a specification model in the form of an automaton.
                .
                For details on setting up such a test, see "Lattest.Exec.Testing"
category:       Testing
homepage:       https://github.com/ramon-janssen/lattest
author:         Ramon Janssen
maintainer:     David van Balen
copyright:      2023 Ramon Janssen
license:        BSD3
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    CHANGELOG.md

library
  exposed-modules:
      Data.OrdMonad
      Lattest.Adapter.Adapter
      Lattest.Adapter.StandardAdapters
      Lattest.Exec.ADG.Aut
      Lattest.Exec.ADG.DistGraph
      Lattest.Exec.ADG.SplitGraph
      Lattest.Exec.StandardTestControllers
      Lattest.Exec.StandardTestControllers.CompleteTestSuite
      Lattest.Exec.Testing
      Lattest.Model.Alphabet
      Lattest.Model.Automaton
      Lattest.Model.BoundedMonad
      Lattest.Model.StandardAutomata
      Lattest.Model.Symbolic.Expr
      Lattest.Model.Symbolic.Internal.ExprDefs
      Lattest.Model.Symbolic.Internal.FreeMonoidX
      Lattest.Model.Symbolic.SolveSymPrim
      Lattest.SMT
      Lattest.Streams.Synchronized
      Lattest.Streams.Synchronized.Attoparsec
      Lattest.Util.ModelParsingUtils
      Lattest.Util.ReportUtils
      Lattest.Util.STSJSONParser
      Lattest.Util.Utils
      System.IO.Streams.Synchronized.Attoparsec
  other-modules:
      Lattest.Model.Internal.NonDeterministic
      Lattest.Model.Symbolic.Internal.Boute
      Lattest.Model.Symbolic.Internal.ExprImpls
      Lattest.Model.Symbolic.Internal.ExprImplsExtension
      Lattest.Model.Symbolic.Internal.Product
      Lattest.Model.Symbolic.Internal.Sum
      Lattest.Model.Symbolic.SolveSTS
      Lattest.Util.IOUtils
  hs-source-dirs:
      src
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wredundant-constraints -Wno-simplifiable-class-constraints -Wno-unused-top-binds -Wno-orphans
  build-depends:
      MissingH >=1.6.0 && <1.7
    , aeson >=2.2.3.0 && <2.4
    , attoparsec >=0.14.4 && <0.15
    , attoparsec-aeson >=2.2.2 && <2.3
    , base >=4.19.2 && <4.22
    , bytestring >=0.12.1 && <0.13
    , cassava >=0.5.3.2 && <0.6
    , containers >=0.6.8 && <0.8
    , either >=5.0.2 && <5.1
    , extra >=1.7.16 && <1.9
    , io-streams >=1.5.2 && <1.6
    , list-shuffle >=1.0.0 && <1.1
    , mtl >=2.3.1 && <2.4
    , network >=3.2.7.0 && <3.3
    , parallel >=3.2.2.0 && <3.4
    , random >=1.2.1.3 && <1.4
    , sbv >=11.0 && <15
    , scientific >=0.3.8 && <0.4
    , stm >=2.5.3 && <2.6
    , text >=2.1.1 && <2.2
    , time >=1.12.2 && <1.15
    , unbounded-delays >=0.1.1 && <0.2
  default-language: Haskell2010

test-suite lattest-test
  type: exitcode-stdio-1.0
  main-is: Test.hs
  other-modules:
      Reference.FreeLatticeSlow
      Test.Lattest.Adapter.StandardAdapters
      Test.Lattest.Exec.NComplete
      Test.Lattest.Exec.StandardTestControllers
      Test.Lattest.Exec.Testing
      Test.Lattest.Model.BoundedMonad
      Test.Lattest.Model.StandardAutomata
      Test.Lattest.Model.STSTest
      Test.Lattest.Model.Symbolic.Expr
      Test.Lattest.Util.ModelParsingUtils
      Test.Lattest.Util.STSJSONParserTest
      Test.System.IO.Streams.Synchronized
      Paths_lattest_lib
  hs-source-dirs:
      test
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wredundant-constraints -Wno-simplifiable-class-constraints -Wno-unused-top-binds -Wno-orphans -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      HUnit >=1.6.2.0
    , MissingH >=1.6.0 && <1.7
    , QuickCheck >=2.15.0.1
    , aeson >=2.2.3.0 && <2.4
    , attoparsec >=0.14.4 && <0.15
    , attoparsec-aeson >=2.2.2 && <2.3
    , base >=4.19.2 && <4.22
    , bytestring >=0.12.1 && <0.13
    , cassava >=0.5.3.2 && <0.6
    , containers >=0.6.8 && <0.8
    , either >=5.0.2 && <5.1
    , extra >=1.7.16 && <1.9
    , io-streams >=1.5.2 && <1.6
    , lattest-lib
    , lattices >=2.2.1 && <2.3
    , list-shuffle >=1.0.0 && <1.1
    , mtl >=2.3.1 && <2.4
    , network >=3.2.7.0 && <3.3
    , parallel >=3.2.2.0 && <3.4
    , random >=1.2.1.3 && <1.4
    , raw-strings-qq ==1.1.*
    , sbv >=11.0 && <15
    , scientific >=0.3.8 && <0.4
    , stm >=2.5.3 && <2.6
    , tasty >=1.5.3
    , tasty-quickcheck
    , text >=2.1.1 && <2.2
    , time >=1.12.2 && <1.15
    , unbounded-delays >=0.1.1 && <0.2
  default-language: Haskell2010