--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on May 2020 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] checking Monocypher



same error for Frama-C versions 19 and 20:
> 
>> [kernel:annot-error] /tmp/e_acsl_default96abef.i:1426: Warning:
>> comparison of incompatible types: 𝔹 and ℤ. Ignoring code annotation
> 
> Thanks for the feedback and your interest in Frama-C. There was indeed an issue in some annotations
> generated by RTE, but it has been fixed in the development branch (you can try it at
> https://git.frama-c.com/pub/frama-c), and the fix will appear in the upcoming Frama-C 21
> (Scandium).

Recompile from git, works.

(mike)