Frama-C API - Compositional_bool
A boolean information is maintained for each tree, by composing the boolean on the subtrees and the value information present on each leaf. Use Comp_unused
for a default implementation.
Compositional_bool
A boolean information is maintained for each tree, by composing the boolean on the subtrees and the value information present on each leaf. Use Comp_unused
for a default implementation.