-
- Downloads
[kernel] abort properly when a function is redefined (fixes #1360)
Showing
- src/kernel_internals/typing/cabs2cil.ml 8 additions, 3 deletionssrc/kernel_internals/typing/cabs2cil.ml
- tests/syntax/double_definition.i 9 additions, 0 deletionstests/syntax/double_definition.i
- tests/syntax/oracle/double_definition.res.oracle 8 additions, 0 deletionstests/syntax/oracle/double_definition.res.oracle
Loading
Please register or sign in to comment