[kernel] Warning: your preprocessor is not known to handle option `-nostdinc'. If pre-processing fails because of it, please add -no-cpp-frama-c-compliant option to Frama-C's command-line. If you do not want to see this warning again, explicitly use option -cpp-frama-c-compliant.
[kernel] Warning: your preprocessor is not known to handle option `-dD'. If pre-processing fails because of it, please add -no-cpp-frama-c-compliant option to Frama-C's command-line. If you do not want to see this warning again, explicitly use option -cpp-frama-c-compliant.
[kernel] Parsing list_ptr.c (with preprocessing)
[kernel] Warning: trying to preprocess annotation with an unknown preprocessor.
[wp] Running WP plugin...
[wp] Warning: Missing RTE guards
[wp] Computing [100 goals...]
[wp] Computing [200 goals...]
[wp] Computing [300 goals...]
[wp] Computing [400 goals...]
[wp] Computing [500 goals...]
[wp] Computing [600 goals...]
[wp] Computing [700 goals...]
[wp] Computing [800 goals...]
[wp] 817 goals scheduled
[wp] [Qed] Goal typed_list_init_post_GhostSeparation : Valid
[wp] [Qed] Goal typed_list_init_post_ValidArray : Valid
[wp] [Qed] Goal typed_list_init_assign : Valid
[wp] [Qed] Goal typed_list_init_post_3 : Valid
[wp] [Qed] Goal typed_list_head_empty_post : Valid
[wp] [Qed] Goal typed_list_head_assign : Valid
[wp] [Qed] Goal typed_list_tail_complete_not_empty_empty : Valid
------------------------------------------------------------
--- Why3 (stderr) :
------------------------------------------------------------
[Config] reading extra configuration file /root/.opam/frama-c/share/frama-c/wp/why3/why3.conf
No prover in /root/.why3.conf corresponds to "cvc4-15"

------------------------------------------------------------
------------------------------------------------------------
--- Why3 (stderr) :
------------------------------------------------------------
[Config] reading extra configuration file /root/.opam/frama-c/share/frama-c/wp/why3/why3.conf
No prover in /root/.why3.conf corresponds to "cvc4-15"

------------------------------------------------------------
