--- layout: fc_discuss_archives title: Message 36 from Frama-C-discuss on February 2011 ---
? Hi, I am trying to port my small from Frama-C Boron to Carbon version. I am using /spec_requires /in the following way: /let kf = Globals.Functions.find_by_name (f.svar.vname) in ... ... ... (Kernel_function.get_spec kf).spec_requires /which no longer seems to work with the Carbon version as I do not see spec_requires. May I know the alternative? Thanks, Kalyan