Merge branch 'bugfix/basile/no-builtin-translation' into 'master'
[eacsl] Count E-ACSL builtins as Frama-C builtins See merge request frama-c/frama-c!3218
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/doc/Changelog 2 additions, 0 deletionssrc/plugins/e-acsl/doc/Changelog
- src/plugins/e-acsl/src/libraries/misc.ml 3 additions, 0 deletionssrc/plugins/e-acsl/src/libraries/misc.ml
- src/plugins/e-acsl/tests/builtin/oracle_ci/gen_strcat.c 30 additions, 187 deletionssrc/plugins/e-acsl/tests/builtin/oracle_ci/gen_strcat.c
- src/plugins/e-acsl/tests/builtin/oracle_ci/gen_strcmp.c 64 additions, 112 deletionssrc/plugins/e-acsl/tests/builtin/oracle_ci/gen_strcmp.c
- src/plugins/e-acsl/tests/builtin/oracle_ci/gen_strcpy.c 20 additions, 291 deletionssrc/plugins/e-acsl/tests/builtin/oracle_ci/gen_strcpy.c
- src/plugins/e-acsl/tests/builtin/oracle_ci/gen_strlen.c 7 additions, 26 deletionssrc/plugins/e-acsl/tests/builtin/oracle_ci/gen_strlen.c
- src/plugins/e-acsl/tests/builtin/oracle_ci/strcat.res.oracle 0 additions, 75 deletionssrc/plugins/e-acsl/tests/builtin/oracle_ci/strcat.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle_ci/strcmp.res.oracle 0 additions, 32 deletionssrc/plugins/e-acsl/tests/builtin/oracle_ci/strcmp.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle_ci/strcpy.res.oracle 0 additions, 49 deletionssrc/plugins/e-acsl/tests/builtin/oracle_ci/strcpy.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle_ci/strlen.res.oracle 0 additions, 13 deletionssrc/plugins/e-acsl/tests/builtin/oracle_ci/strlen.res.oracle
Loading
Please register or sign in to comment