On 02/18/2016 02:06 PM, rsw0x wrote: > On Thursday, 18 February 2016 at 17:52:10 UTC, Kai Nacke wrote: >> I really like the compiler diversity. What I miss (hint!) is a program >> to verify the compiler/backend correctness. Just generate a random D >> program, compile with all 3 compilers and compare the output. IMHO we >> could find a lot of backend bugs this way. This would help all D >> compilers. >> >> Regards, >> Kai > > reminds me of csmith > https://embed.cs.utah.edu/csmith/ > > I believe Brian Schott had worked on something like this for D... Did > that ever go anywhere?
Brian's project is at https://github.com/Hackerpilot/generated . I can't speak to the state of the project, but it hasn't been touched in about a year. -- Paul O'Neil Github / IRC: todayman
