name:                LTS
version:             0.1.0.0
synopsis:            LTS: Labelled Transition System
description:         This is an implementation of labelled transition system and
                     follow the README for information on importing and getting started.
license:             MIT
license-file:        LICENSE
author:              Ajay Kumar Eeralla
maintainer:          aeeralla@galois.com
copyright:           ©2020 Ajay Kumar Eeralla
category:            State Machines
build-type:          Simple
cabal-version:       >=1.10
tested-with:         GHC == 8.2.2
                     GHC == 8.4.4
                     GHC == 8.6.5
                     GHC == 7.10.3


extra-source-files:  CHANGELOG.md, README.md

Source-Repository head
  type:     git
  location: git@github.com:ajayeeralla/LTS.git

library
  default-language: Haskell2010
  hs-source-dirs:   src
  exposed-modules:
    Data.LTS

  build-depends:      base >= 4.8.2.0 && <5
                    , fin >= 0.1.1 && < 0.2
executable LTS
  default-language:    Haskell2010
  build-depends:      LTS
                    , base                  
  hs-source-dirs:     programs
  main-is:            Main.hs
  ghc-options:        -O2 -fno-warn-unused-do-bind

test-suite lts-tests
  default-language:   Haskell2010
  type:               exitcode-stdio-1.0
  hs-source-dirs:     tests
  main-is:            Main.hs
  build-depends:      LTS
                    , QuickCheck ==2.14
                    , base
                    , tasty
                    , tasty-smallcheck
                    , tasty-hunit
                    , smallcheck
  ghc-options:        -O2 -fno-warn-unused-do-bind

benchmark lts-bench
  default-language:   Haskell2010
  type:               exitcode-stdio-1.0
  hs-source-dirs:     bench
  main-is:            Main.hs
  build-depends:      LTS
                    , base
                    , time
                    , criterion

  ghc-options:        -O2