--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on December 2014 ---
Thanks. (Lack of concentration, I guess, I was searching through kernel_function) On Tue, Dec 2, 2014 at 7:03 PM, Virgile Prevosto <virgile.prevosto at m4x.org> wrote: > 2014-12-02 17:11 GMT+01:00 Ivan Gavran <gavran at mpi-sws.org>: > > Continuing on this thread because it is connected question: > > > > is there a way to get kernel_function type from function name (string) ? > > > > Yes, this was indicated in my first answer this morning: > Globals.Functions.find_by_name, declared in src/kernel/globals.mli. > Basically, kernel_function related functions are either there or in > src/kernel/kernel_function.mli > > Best regards, > -- > E tutto per oggi, a la prossima volta > Virgile > _______________________________________________ > 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 > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20141202/fe0714b0/attachment.html>