cabal-version:       2.2

name:                tasty-sbv
version:             0
synopsis:            Proving via sbv support for the Tasty test framework.
description:
  'sbv' support for the Tasty test framework.
  .
  Statements may either be proven by a solver, or for systems
  without a solver installed, tested via QuickCheck.
homepage:            https://oss.xkcd.com/
bug-reports:         https://code.xkrd.net/haskell/tasty-sbv/issues
license:             BSD-3-Clause
license-file:        LICENSE
author:              davean
maintainer:          davean@xkcd.com
copyright:           Copyright (C) 2020 davean
category:            Testing, Formal Methods, Theorem Provers, Symbolic Computation, SMT
extra-source-files:  CHANGELOG.md

source-repository head
  type: git
  location: https://code.xkrd.net/haskell/tasty-sbv.git

common deps
  default-language:    Haskell2010
  build-depends:
      base    >= 4.12 && <4.14
    , sbv    ^>= 8.6
    , tagged ^>= 0.8
    , tasty  ^>= 1.2
    , tasty-quickcheck ^>= 0.10

library
  import: deps
  hs-source-dirs:      src
  exposed-modules:
     Test.Tasty.SBV

test-suite tasty-sbv-test
  import: deps
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             Main.hs
  build-depends:
      tasty-hunit
    , tasty-sbv