C compiler certification program?

[Mark Chilenskas]

    I had heard of another C certification program, started at MIT LCS.
The certifier generates all syntactically correct C programs in Godel
number order and terminates if the given C compiler is not correct ;-)

                                        v
                                        Z