--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on May 2013 ---
Hello, I think that 'Kernel.feedback "%a" Db.Value.pretty_state before' should work. Matthieu "Phu H. Phung" <phunghuuphu at gmail.com> writes: > Hello, > > I'm exploring value analysis API to display its results. For the first try, I just want to show as in the GUI the value before and after a statement. > I called the API as: > let before = Db.Value.Table.find stmt in > let after = Db.Value.AfterTable.find stmt in > ? > Could you please guide me how to display the value of before,after using e.g. Format.fprintf? > I tried to trace the value analysis GUI source code and tried to out by several alternatives but it is quite not trivial. > > As I am a newbie in Frama-C, I would highly appreciate your help. > > Thanks a lot! > Phu > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss