(include_subdirs no)

(library
 (name goblint_std)
 (public_name goblint.std)
 (libraries
   batteries.unthreaded
   zarith
   goblint-cil
   fpath
   yojson
   yaml
   qcheck-core)
 (preprocess
  (pps
   ppx_deriving.std
   ppx_deriving_hash
   ppx_deriving_yojson))
 (instrumentation (backend bisect_ppx)))
