Automatically-generated tests are written in this directory