Add test case generator and a generated test.