[llvm-dev] Uncovering non-determinism in LLVM - The Next Steps

John Regehr via llvm-dev llvm-dev at lists.llvm.org
Thu Jul 6 10:29:22 PDT 2017


> (see http://llvm.org/devmtg/2015-04/slides/Verifying_code_gen_dash_g_final.pdf

Super cool, I had missed this. I hope to be doing some more LLVM testing 
work soonish and will keep this tool on the list.

John



More information about the llvm-dev mailing list