Merge branch 'feature/e-acsl/minimize-dune-diff' into 'master'
[e-acsl] prepare for Dune See merge request frama-c/frama-c!3674
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c 79 additions, 79 deletionssrc/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c 48 additions, 48 deletionssrc/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c 46 additions, 46 deletionssrc/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c 14 additions, 14 deletionssrc/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c
- src/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle_dev/strcat.e-acsl.err.log 22 additions, 22 deletions...ins/e-acsl/tests/builtin/oracle_dev/strcat.e-acsl.err.log
- src/plugins/e-acsl/tests/builtin/oracle_dev/strcmp.e-acsl.err.log 24 additions, 24 deletions...ins/e-acsl/tests/builtin/oracle_dev/strcmp.e-acsl.err.log
- src/plugins/e-acsl/tests/builtin/oracle_dev/strcpy.e-acsl.err.log 17 additions, 17 deletions...ins/e-acsl/tests/builtin/oracle_dev/strcpy.e-acsl.err.log
- src/plugins/e-acsl/tests/builtin/oracle_dev/strlen.e-acsl.err.log 7 additions, 7 deletions...ins/e-acsl/tests/builtin/oracle_dev/strlen.e-acsl.err.log
- src/plugins/e-acsl/tests/builtin/strcat.c 6 additions, 1 deletionsrc/plugins/e-acsl/tests/builtin/strcat.c
- src/plugins/e-acsl/tests/builtin/strcmp.c 6 additions, 1 deletionsrc/plugins/e-acsl/tests/builtin/strcmp.c
- src/plugins/e-acsl/tests/builtin/strcpy.c 6 additions, 1 deletionsrc/plugins/e-acsl/tests/builtin/strcpy.c
- src/plugins/e-acsl/tests/builtin/strlen.c 6 additions, 1 deletionsrc/plugins/e-acsl/tests/builtin/strlen.c
- src/plugins/e-acsl/tests/format/fprintf.c 6 additions, 0 deletionssrc/plugins/e-acsl/tests/format/fprintf.c
- src/plugins/e-acsl/tests/format/oracle/fprintf.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/format/oracle/fprintf.res.oracle
- src/plugins/e-acsl/tests/format/oracle/gen_fprintf.c 36 additions, 36 deletionssrc/plugins/e-acsl/tests/format/oracle/gen_fprintf.c
- src/plugins/e-acsl/tests/format/oracle/gen_printf.c 549 additions, 549 deletionssrc/plugins/e-acsl/tests/format/oracle/gen_printf.c
- src/plugins/e-acsl/tests/format/oracle/printf.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/format/oracle/printf.res.oracle
- src/plugins/e-acsl/tests/format/oracle_dev/fprintf.e-acsl.err.log 18 additions, 18 deletions...ins/e-acsl/tests/format/oracle_dev/fprintf.e-acsl.err.log
- src/plugins/e-acsl/tests/format/oracle_dev/printf.e-acsl.err.log 380 additions, 380 deletions...gins/e-acsl/tests/format/oracle_dev/printf.e-acsl.err.log
Loading
Please register or sign in to comment