[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/pretty_printing/binary_logic_op.c (with preprocessing)
/* Generated by Frama-C */
/*@
predicate foo(ℤ x) =
  x ≤ 0 ∧ x ≤ 1 ∧ x ≤ 3 ⇒
  x ≤ 4 ∨ (((x ≤ 5 ∧ x ≤ 6) ∨ x ≤ 7) ∧ x ≤ 8);
 */
/*@
predicate bar(ℤ x, ℤ y, ℤ z, ℤ t) =
  x ≡ 0 ∨ y ≡ 0 ∨ z ≡ 0 ∨ t ≡ 0;
 */
/*@
predicate mixed(ℤ x, ℤ y, ℤ z, ℤ t) =
  x ≡ 0 ∨ y ≡ 0 ∨ z ≡ 0 ∨ t ≡ 0;
 */

[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/pretty_printing/result/binary_logic_op.c (with preprocessing)
[kernel] Parsing tests/pretty_printing/binary_logic_op.c (with preprocessing)
/* Generated by Frama-C */
/*@
predicate foo(ℤ x) =
  x ≤ 0 ∧ x ≤ 1 ∧ x ≤ 3 ⇒
  x ≤ 4 ∨ (((x ≤ 5 ∧ x ≤ 6) ∨ x ≤ 7) ∧ x ≤ 8);
 */
/*@
predicate bar(ℤ x, ℤ y, ℤ z, ℤ t) =
  x ≡ 0 ∨ y ≡ 0 ∨ z ≡ 0 ∨ t ≡ 0;
 */
/*@
predicate mixed(ℤ x, ℤ y, ℤ z, ℤ t) =
  x ≡ 0 ∨ y ≡ 0 ∨ z ≡ 0 ∨ t ≡ 0;
 */

