--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on September 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Missing fc_runtime.c in Neon



Hello,

File share/frama-c/libc/fc_runtime.c was available in Frama-C Fluorine 
20130601 (it was missing from previous Fluorine releases) and was also 
available in Nitrogen. It is missing in Neon.

As fc_runtime.c been forgotten in Neon? Has it been replaced by another 
runtime for use with Value analysis?

Best regards,
david