--- layout: fc_discuss_archives title: Message 36 from Frama-C-discuss on February 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C Carbon and spec_requires.



?
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