Saturday, August 24, 2019

Re: update devel/frama-c

> On Aug 23, 2019, at 4:25 PM, Christopher Zimmermann <chrisz@openbsd.org> wrote:
>
> I would welcome OKs and tests on real bytecode-only archs and i386,
> which is currently broken.
>

Still broken on i386.

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)