(test
 (name t1)
 (package trace-tef)
 (modules t1)
 (libraries trace trace-tef))

(test
 (name t2)
 (package ppx_trace)
 (modules t2)
 (preprocess
  (pps ppx_trace))
 (libraries trace-tef))

(test
 (name t_debug)
 (modules t_debug)
 (package trace-tef)
 (libraries trace trace.debug trace-tef))