--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on July 2009 ---
Hello, > I would like to run a plug-in many times (with different parameters) and > flush the memory used by the plugin between each run. > > For example, running the value analysis plug-in several times with > different slevels while freeing the memory used by the previous > execution before running a new one. Attached is a small Frama-C plug-in (for Beryllium beta1) doing the job in 3 differents ways. Please let me know if it fulfill your requirement. You can test it by: $ frama-c -load-script clear.ml my_c_file.c Best regards, Julien Signoles -- Researcher-engineer CEA LIST, Software Reliability Lab 91191 Gif-Sur-Yvette Cedex tel:(+33)1.69.08.71.83 fax:(+33)1.69.08.83.95 Julien.Signoles at cea.fr -------------- section suivante -------------- Une pi?ce jointe non texte a ?t? nettoy?e... Nom: clear.ml Type: text/x-ocaml Taille: 1553 octets Desc: non disponible Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090723/ba96bc2b/attachment.bin