(include_subdirs no)

(library
 (name goblint_timing)
 (public_name goblint.timing)
 (libraries catapult catapult-file domain_shims)
 (instrumentation (backend bisect_ppx)))
