testing contracts