const-assignments.9.res.oracle

[kernel] Parsing const-assignments.c (with preprocessing)
[kernel] const-assignments.c:121: User Error: 
  Cannot assign to non-modifiable lval t->s.y
  119   
  120   void mutable_test_ko(const T* t) {
  121     t->s.y = 32; // KO: although t->s could be modified, t->s.y is still const
          ^^^^^^^^^^^
  122   }
  123
[kernel] Frama-C aborted: invalid user input.