--- layout: fc_discuss_archives title: Message 61 from Frama-C-discuss on June 2009 ---
Mauro Baluda a ?crit : > I'm looking for a tool able to calculate weakest preconditions for c > statements given a postcondition > I think frama-c does this internally through why, is it possible to > interact with the precondition calculator programmatically or using > the command line? I cannot answer about WHY, but because I am developing a new WP plugin for Frama-C, I am very interested by your question. What kind of commands would you need ? Is it to interact with another tool ? Best regards, -- Anne Pacalet.