(library
 (public_name soteria.symex)
 (name soteria_symex)
 (libraries soteria_std soteria_logs simple_smt fmt iter)
 (flags :standard -open Soteria_std)
 (preprocess
  (pps ppx_symex ppx_deriving.std)))
