ltl_harness
