-
- Downloads
Merge branch 'fix/parser/unfinished-oneline-acsl-comment' into 'master'
Fixes Frama-C crash on ill-formed C files See merge request frama-c/frama-c!3279
Showing
- src/kernel_internals/parsing/clexer.mll 1 addition, 0 deletionssrc/kernel_internals/parsing/clexer.mll
- src/kernel_internals/typing/frontc.mli 4 additions, 1 deletionsrc/kernel_internals/typing/frontc.mli
- tests/spec/oracle/unfinished-oneline-acsl-comment.res.oracle 12 additions, 0 deletionstests/spec/oracle/unfinished-oneline-acsl-comment.res.oracle
- tests/spec/unfinished-oneline-acsl-comment.i 6 additions, 0 deletionstests/spec/unfinished-oneline-acsl-comment.i
Loading
Please register or sign in to comment