information about Compiler correctness field