Fix the generation of all the test cases