update according to kernel changes + -warn-error
Showing
- src/plugins/e-acsl/Makefile.in 12 additions, 0 deletionssrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/addrOf.res.oracle 0 additions, 2 deletions...gins/e-acsl/tests/e-acsl-runtime/oracle/addrOf.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle 0 additions, 2 deletions...ugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/cast.res.oracle 0 additions, 2 deletions...lugins/e-acsl/tests/e-acsl-runtime/oracle/cast.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/comparison.res.oracle 0 additions, 2 deletions.../e-acsl/tests/e-acsl-runtime/oracle/comparison.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/false.res.oracle 0 additions, 2 deletions...ugins/e-acsl/tests/e-acsl-runtime/oracle/false.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/integer_constant.res.oracle 0 additions, 2 deletions...l/tests/e-acsl-runtime/oracle/integer_constant.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/lazy.res.oracle 0 additions, 2 deletions...lugins/e-acsl/tests/e-acsl-runtime/oracle/lazy.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/nested_code_annot.res.oracle 0 additions, 2 deletions.../tests/e-acsl-runtime/oracle/nested_code_annot.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/not.res.oracle 0 additions, 2 deletions...plugins/e-acsl/tests/e-acsl-runtime/oracle/not.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/other_constants.res.oracle 0 additions, 2 deletions...sl/tests/e-acsl-runtime/oracle/other_constants.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/sizeof.res.oracle 0 additions, 2 deletions...gins/e-acsl/tests/e-acsl-runtime/oracle/sizeof.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/true.res.oracle 0 additions, 2 deletions...lugins/e-acsl/tests/e-acsl-runtime/oracle/true.res.oracle
- src/plugins/e-acsl/visit.ml 1 addition, 0 deletionssrc/plugins/e-acsl/visit.ml
Loading
Please register or sign in to comment