• Johan (8/8) Jun 09 2020 Nuno P Lopes and John Regehr have authored a new blog post on
• welkam (2/10) Jun 09 2020 thanks for sharing

Johan <j j.nl> writes:

Nuno P Lopes and John Regehr have authored a new blog post on 
tracking
miscompilations in LLVM using its own unit
tests, https://blog.regehr.org/archives/1737 .
If you don't quite follow, it helps to read the article about 
"Alive2" pointed to in the introduction paragraph.

cheers,
   Johan

welkam <wwwelkam gmail.com> writes:

On Tuesday, 9 June 2020 at 10:59:50 UTC, Johan wrote:
 Nuno P Lopes and John Regehr have authored a new blog post on 
 tracking
 miscompilations in LLVM using its own unit
 tests, https://blog.regehr.org/archives/1737 .
 If you don't quite follow, it helps to read the article about 
 "Alive2" pointed to in the introduction paragraph.

 cheers,
   Johan

thanks for sharing