Merge branch 'bugfix/basile/eacsl-order-default-behavior-pre' into 'master'
[eacsl] Translate the default behavior requires clause before evaluating the assumes See merge request frama-c/frama-c!3368
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/doc/Changelog 3 additions, 0 deletionssrc/plugins/e-acsl/doc/Changelog
- src/plugins/e-acsl/src/code_generator/contract.ml 36 additions, 17 deletionssrc/plugins/e-acsl/src/code_generator/contract.ml
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c
- src/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle 4 additions, 4 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle 4 additions, 4 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle 4 additions, 4 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle
- src/plugins/e-acsl/tests/constructs/oracle/gen_function_contract.c 6 additions, 6 deletions...ns/e-acsl/tests/constructs/oracle/gen_function_contract.c
- src/plugins/e-acsl/tests/constructs/oracle/gen_rte.c 4 additions, 4 deletionssrc/plugins/e-acsl/tests/constructs/oracle/gen_rte.c
- src/plugins/e-acsl/tests/constructs/oracle/gen_stmt_contract.c 2 additions, 2 deletions...lugins/e-acsl/tests/constructs/oracle/gen_stmt_contract.c
- src/plugins/e-acsl/tests/examples/oracle/gen_linear_search.c 36 additions, 36 deletionssrc/plugins/e-acsl/tests/examples/oracle/gen_linear_search.c
- src/plugins/e-acsl/tests/libc/oracle/str.res.oracle 4 additions, 4 deletionssrc/plugins/e-acsl/tests/libc/oracle/str.res.oracle
- src/plugins/e-acsl/tests/memory/oracle/gen_ctype_macros.c 18 additions, 18 deletionssrc/plugins/e-acsl/tests/memory/oracle/gen_ctype_macros.c
- src/plugins/e-acsl/tests/special/oracle/gen_e-acsl-valid.c 5 additions, 5 deletionssrc/plugins/e-acsl/tests/special/oracle/gen_e-acsl-valid.c
Loading
Please register or sign in to comment