quebex - quebex-symex.cabal

 1cabal-version:      3.4
 2name:               quebex-symex
 3version:            0.1.0.0
 4-- synopsis:
 5-- description:
 6license:            GPL-3.0-only AND MIT
 7license-file:       ../LICENSES/GPL-3.0-only.txt
 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    ghc-options: -Wall
18
19library
20    import:           warnings
21    -- other-modules:
22    hs-source-dirs:   src
23    default-language: GHC2021
24
25    build-depends:
26      base ^>=4.19.1.0,
27      mtl,
28      containers,
29      random,
30      quebex,
31      quebex-syntax,
32      simple-smt
33
34    exposed-modules:
35      Language.QBE.Backend,
36      Language.QBE.Backend.Model,
37      Language.QBE.Backend.Store,
38      Language.QBE.Backend.ExecTree,
39      Language.QBE.Backend.DFS,
40      Language.QBE.Simulator.Explorer,
41      Language.QBE.Simulator.Symbolic.Tracer,
42      Language.QBE.Simulator.Symbolic.Expression,
43      Language.QBE.Simulator.Concolic.Expression
44
45test-suite quebex-symex-test
46    import:           warnings
47    default-language: GHC2021
48    type:             exitcode-stdio-1.0
49    hs-source-dirs:   test
50    main-is:          Main.hs
51
52    other-modules:
53      Util,
54      Backend,
55      Explorer,
56      Symbolic,
57      Concolic,
58
59    build-depends:
60        base ^>=4.19.1.0,
61        mtl,
62        containers,
63        quebex,
64        quebex-syntax,
65        quebex-symex,
66        simple-smt,
67        tasty        >=1.4.3,
68        tasty-hunit  >=0.10