(library
 (name dune_threaded_console)
 (libraries stdune dune_util dune_console dune_engine threads.posix)
 (instrumentation
  (backend bisect_ppx)))
