4.2 Caravel test harness

Latest Caravel docs