---
layout: fc_discuss_archives
title: Message 10 from Frama-C-discuss on April 2020
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] checking Monocypher
- Subject: [Frama-c-discuss] checking Monocypher
- From: tankf33der at disroot.org (Mike)
- Date: Thu, 30 Apr 2020 10:38:49 +0000
- In-reply-to: <CA+yPOVibHp68er_=rvDD+8-Ap1ydpJjVEwLAB_q4oKRuzj1B1Q@mail.gmail.com>
- References: <CA+yPOVibHp68er_=rvDD+8-Ap1ydpJjVEwLAB_q4oKRuzj1B1Q@mail.gmail.com> <e63c109dad96e6491a13600f4eddf717@disroot.org>
hi all,
>
> 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
Good this is known and fixed.
I will play with master branch then.
(mike)