3 ms·Would be nice to use it for Frama-C. [1] http://frama-c.com http://frama-c.comby xvilka 11y agoWould be nice to use it for Frama-C. [1] http://frama-c.com http://frama-c.com