quebex

  1cabal-version:      3.4
  2name:               quebex-symex
  3version:            0.1.0.0
  4-- synopsis:
  5-- description:
  6license:            GPL-3.0-only AND MIT
  7-- license-file:
  8author:             Sören Tempel
  9maintainer:         soeren+git@soeren-tempel.net
 10-- copyright:
 11category:           Language
 12build-type:         Simple
 13-- extra-doc-files:
 14-- extra-source-files:
 15
 16common warnings
 17    -- -Wall-missed-specializations can be useful too
 18    ghc-options: -Wall
 19
 20common opts
 21    ghc-options: -fspecialise-aggressively
 22
 23library
 24    import:           warnings, opts
 25    -- other-modules:
 26    hs-source-dirs:   src
 27    default-language: GHC2021
 28
 29    build-depends:
 30      base,
 31      mtl,
 32      containers,
 33      exceptions,
 34      random,
 35      quebex,
 36      quebex-syntax,
 37      simple-smt
 38
 39    exposed-modules:
 40      SimpleBV,
 41      Language.QBE.Backend,
 42      Language.QBE.Backend.Model,
 43      Language.QBE.Backend.Store,
 44      Language.QBE.Backend.ExecTree,
 45      Language.QBE.Backend.DFS,
 46      Language.QBE.Backend.Tracer,
 47      Language.QBE.Simulator.Explorer,
 48      Language.QBE.Simulator.Symbolic.Unwind,
 49      Language.QBE.Simulator.Symbolic.Expression,
 50      Language.QBE.Simulator.Concolic.State,
 51      Language.QBE.Simulator.Concolic.Expression
 52
 53benchmark quebex-symex
 54    import:           warnings, opts
 55    default-language: GHC2021
 56    type:             exitcode-stdio-1.0
 57    hs-source-dirs:   bench
 58    main-is:          Main.hs
 59
 60    other-modules:
 61      SMT,
 62      Exec
 63
 64    build-depends:
 65      base,
 66      criterion ^>= 1.6.4.0,
 67      mtl,
 68      simple-smt,
 69      process,
 70      filepath,
 71      quebex,
 72      quebex-syntax,
 73      quebex-symex
 74
 75test-suite quebex-symex-test
 76    import:           warnings
 77    default-language: GHC2021
 78    type:             exitcode-stdio-1.0
 79    hs-source-dirs:   test
 80    main-is:          Main.hs
 81
 82    other-modules:
 83      Util,
 84      Golden,
 85      Backend,
 86      Explorer,
 87      Symbolic,
 88      Concolic,
 89      BV
 90
 91    build-depends:
 92        base,
 93        filepath,
 94        containers,
 95        quebex,
 96        quebex-syntax,
 97        quebex-symex,
 98        simple-smt,
 99        tasty            >=1.4.3,
100        tasty-hunit      >=0.10,
101        tasty-golden     >=2.3.5,
102        tasty-quickcheck >=0.10.2