(include_subdirs no)

(library
 (name goblint_backtrace)
 (public_name goblint.backtrace)
 (instrumentation (backend bisect_ppx)))
