--- layout: fc_discuss_archives title: Message 106 from Frama-C-discuss on May 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Unknows Pragma



Hi again

How do I get frama-c to understand these pragmas?

#pragma LINK_INFO DERIVATIVE   "MC9S12C32"
#pragma LINK_INFO OSCFREQUENCY "16000000"


thanks in advance