const-assignments.2.res.oracle

[kernel] Parsing const-assignments.c (with preprocessing)
[kernel] const-assignments.c:28: User Error: 
  Cannot assign to non-modifiable lval x
  26    #ifdef T1
  27    void f() {
  28      x++;
          ^^^
  29    }
  30    #endif
[kernel] Frama-C aborted: invalid user input.