const-assignments.5.res.oracle

[kernel] Parsing const-assignments.c (with preprocessing)
[kernel] const-assignments.c:47: User Error: 
  Cannot assign to non-modifiable lval x_0
  45    void f() {
  46      const int x = 2;
  47      x *= 2;
          ^^^^^^
  48    }
  49    #endif
[kernel] Frama-C aborted: invalid user input.