[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/spec/logic_type.c (with preprocessing)
tests/spec/logic_type.c:1:[kernel] warning: parsing obsolete ACSL construct 'logic type declaration'. 'an axiomatic block' should be used instead.
tests/spec/logic_type.c:2:[kernel] warning: parsing obsolete ACSL construct 'logic declaration'. 'an axiomatic block' should be used instead.
tests/spec/logic_type.c:3:[kernel] warning: parsing obsolete ACSL construct 'logic declaration'. 'an axiomatic block' should be used instead.
tests/spec/logic_type.c:7:[kernel] warning: parsing obsolete ACSL construct 'logic declaration'. 'an axiomatic block' should be used instead.
tests/spec/logic_type.c:3:[kernel] warning: no such type t1. Ignoring global annotation
tests/spec/logic_type.c:6:[kernel] warning: Definition of t2 is cyclic. Ignoring global annotation
tests/spec/logic_type.c:7:[kernel] warning: no such type t2. Ignoring global annotation
tests/spec/logic_type.c:8:[kernel] warning: no such type t2. Ignoring global annotation
/* Generated by Frama-C */
/*@ type t;
 */
/*@ logic t create(int x) ;
 */

