Merge branch 'fix/boris/rm-const-return-type' into 'master'
[Cil] drop qualifiers from return types See merge request !1327
No related branches found
No related tags found
Showing
- Changelog 2 additions, 0 deletionsChangelog
- src/kernel_internals/typing/cabs2cil.ml 5 additions, 1 deletionsrc/kernel_internals/typing/cabs2cil.ml
- tests/value/const.i 11 additions, 0 deletionstests/value/const.i
- tests/value/oracle/const.res.oracle 74 additions, 18 deletionstests/value/oracle/const.res.oracle
- tests/value/oracle/volatile.res.oracle 1 addition, 1 deletiontests/value/oracle/volatile.res.oracle
Loading
Please register or sign in to comment