--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on March 2020 ---
Hi, Iâll try to minimize. Unfortunately the file is probably subject to some export restrictions, and moreover it is rather large and the proofs took some time to construct, so it may be challenging to do so. Nevertheless I will give it a shot. A separate but related question: if I run the cache in cleanup mode with -wp-fct f, will the cache entries for goals from other functions be garbage collected? Thanks, Alexander > El mar. 18, 2020, a la(s) 1:03 a. m., CORRENSON Loic <loic.correnson at cea.fr> escribió: >