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?
