r/cpp•13 yr. agomttdMaking oughts from ises - Frama-C news and ideasblog.frama-c.com/index.php?post/2013/04/13/Ma...blog.frama-c.comPosted Apr 14, 2013, 1:08 AM UTC60Share