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

[Frama-c-discuss] Substitution in Cil_types.predicate



Hello,

I want to perform a substitution in a Cil_types.predicate, for example
x->a in (0 <= x <= n). Is there a function in the Frama-C API to do so?
I've found Cil_manipulation.predicate_substitution in aorai, but I'm
unsure whether I should use functions that aren't part of the Frama-C
API.
-- 
Best regards,
Boris