(library
 (name mininix)
 (inline_tests)
 (preprocessor_deps
  (file builtins.nix))
 (preprocess
  (pps
   ppx_blob
   ppx_sexp_conv
   ppx_expect
   ppx_assert
   base_quickcheck.ppx_quickcheck))
 (instrumentation
  (backend bisect_ppx))
 (libraries core extraction nix ppx_blob ppx_sexp_conv))