_oasis

OASISFormat:  0.4
Name:         bap-veri
Version:      0.2
Synopsis:     Bil verification tool
Authors:      BAP Team
Maintainers:  Ivan Gotovchits <ivg@ieee.org>,
              Oleg Kamenkov <forown@yandex.ru>
License:      MIT
Copyrights:   (C) 2016 Carnegie Mellon University
Plugins:      META (0.4)
BuildTools:   ocamlbuild
BuildDepends: ppx_jane, core_kernel, bap, bap-traces, threads

Library veri
  Path:           lib
  FindLibName:    bap-veri
  Modules:        Veri,
                  Veri_error,
                  Veri_policy,
                  Veri_report,
                  Veri_rule,
                  Veri_stat,
                  Veri_tab,
                  Veri_traci
  CompiledObject: best
  Install:        true
  BuildDepends:   bap-core-theory, pcre, graphlib, monads

Library veri_plugin
  Path:            plugin
  FindLibName:     bap-plugin-veri
  InternalModules: Veri_bil, Veri_out
  CompiledObject:  best
  Install:         true
  BuildDepends:    bap-main, bap-veri, bap-future, pcre, textutils_kernel.text_block, monads

Library veri_test
  Path:           tests
  Build$:         flag(tests)
  Install:        false
  CompiledObject: best
  Modules:        Veri_test,
                  Veri_policy_test,
                  Veri_rule_test,
                  Veri_stat_test
  BuildDepends:   bap-veri, oUnit

Executable run_tests
  Path:           tests
  MainIs:         run_tests.ml
  Install:        false
  Build$:         flag(tests)
  CompiledObject: best
  BuildDepends:   monads, bap-main, veri_test, oUnit, findlib.dynload

Test veri_test
  TestTools:      run_tests
  Run$:           flag(tests)
  Command:        $run_tests -runner sequential