On Thu, Dec 20, 2012 at 08:23:20AM +0800, TheAnh Do wrote:
> In Cil, it automatically simplify If conditional expressions to have a
> cascade of simple predicates. For example,
> if (x > 10 && x < 100)
> will be transformed to
> if (x > 10)
> if (x < 100)
Yes, unless you use the flag --useLogi
Dear everyone,
In Cil, it automatically simplify If conditional expressions to have a
cascade of simple predicates. For example,
if (x > 10 && x < 100)
will be transformed to
if (x > 10)
if (x < 100)
Could anyone please point me to the code of this functionality in the Cil
framework?
A bunch
