(executable
 (name cfgDot)
 (libraries
   goblint-cil
   goblint_logs
   goblint_common
   goblint_lib ; TODO: avoid: extract LoopUnrolling and WitnessUtil node predicates from goblint_lib
   fpath)
 (preprocess (pps ppx_deriving.std)))
