--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on August 2013 ---
On Fri, Aug 9, 2013 at 1:59 PM, Jerry James <loganjerry at gmail.com> wrote: > Wow, what a fast response! Thank you very much for the patch. I will > do a build with it and report back on the results. Regards, Initial testing looks good. Frama-C on ARM correctly runs some simple examples, anyway, which is much better than failing to start at all. Thanks again for the patch, Pascal. -- Jerry James http://www.jamezone.org/