[Kernel] avoid another issue when parsing integers in Cabs2cil
Showing
- src/kernel_internals/typing/cabs2cil.ml 1 addition, 1 deletionsrc/kernel_internals/typing/cabs2cil.ml
- tests/syntax/oracle/very_large_integers.0.res.oracle 4 additions, 4 deletionstests/syntax/oracle/very_large_integers.0.res.oracle
- tests/syntax/oracle/very_large_integers.1.res.oracle 4 additions, 4 deletionstests/syntax/oracle/very_large_integers.1.res.oracle
- tests/syntax/oracle/very_large_integers.10.res.oracle 7 additions, 18 deletionstests/syntax/oracle/very_large_integers.10.res.oracle
- tests/syntax/oracle/very_large_integers.11.res.oracle 22 additions, 0 deletionstests/syntax/oracle/very_large_integers.11.res.oracle
- tests/syntax/oracle/very_large_integers.2.res.oracle 2 additions, 2 deletionstests/syntax/oracle/very_large_integers.2.res.oracle
- tests/syntax/oracle/very_large_integers.3.res.oracle 1 addition, 1 deletiontests/syntax/oracle/very_large_integers.3.res.oracle
- tests/syntax/oracle/very_large_integers.4.res.oracle 6 additions, 6 deletionstests/syntax/oracle/very_large_integers.4.res.oracle
- tests/syntax/oracle/very_large_integers.5.res.oracle 3 additions, 3 deletionstests/syntax/oracle/very_large_integers.5.res.oracle
- tests/syntax/oracle/very_large_integers.6.res.oracle 3 additions, 3 deletionstests/syntax/oracle/very_large_integers.6.res.oracle
- tests/syntax/oracle/very_large_integers.7.res.oracle 2 additions, 2 deletionstests/syntax/oracle/very_large_integers.7.res.oracle
- tests/syntax/oracle/very_large_integers.8.res.oracle 3 additions, 3 deletionstests/syntax/oracle/very_large_integers.8.res.oracle
- tests/syntax/oracle/very_large_integers.9.res.oracle 3 additions, 3 deletionstests/syntax/oracle/very_large_integers.9.res.oracle
- tests/syntax/very_large_integers.c 4 additions, 0 deletionstests/syntax/very_large_integers.c
Loading
Please register or sign in to comment