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