Flag primus_test
  Description: Build Primus Lisp Program Testing Framework
  Default: false


Library primus_test_library_plugin
  Build$:       flag(everything) || flag(primus_test)
  Path:         plugins/primus_test
  BuildDepends: bap-primus, bap, core_kernel, monads, regular, bitvec, bitvec-order, zarith
  FindlibName:     bap-plugin-primus_test
  CompiledObject:  best
  InternalModules: Primus_test_main
  XMETADescription: Primus Program Testing and Verification Kit
  DataFiles:        lisp/*.lisp ($datadir/bap/primus/site-lisp)
  XMETAExtraLines:  tags="primus, lisp"
