--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on August 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Runtime problem on ARM



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/