--- layout: fc_discuss_archives title: Message 100 from Frama-C-discuss on February 2012 ---
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