Test cases with errors are all working. Missing code generation, though