[eacsl] Reactivate tests for builtins
The file `signalled.h` is now common to `format` and `builtin` tests.
Showing
- src/plugins/e-acsl/Makefile.in 2 additions, 4 deletionssrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/tests/builtin/signalled.c 0 additions, 51 deletionssrc/plugins/e-acsl/tests/builtin/signalled.c
- src/plugins/e-acsl/tests/builtin/signalled.h 0 additions, 53 deletionssrc/plugins/e-acsl/tests/builtin/signalled.h
- src/plugins/e-acsl/tests/builtin/strcat.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/strcat.c
- src/plugins/e-acsl/tests/builtin/strcmp.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/strcmp.c
- src/plugins/e-acsl/tests/builtin/strcpy.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/strcpy.c
- src/plugins/e-acsl/tests/builtin/strlen.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/strlen.c
- src/plugins/e-acsl/tests/builtin/test_config_dev 2 additions, 2 deletionssrc/plugins/e-acsl/tests/builtin/test_config_dev
- src/plugins/e-acsl/tests/format/fprintf.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/format/fprintf.c
- src/plugins/e-acsl/tests/format/printf.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/format/printf.c
- src/plugins/e-acsl/tests/format/test_config_dev 1 addition, 1 deletionsrc/plugins/e-acsl/tests/format/test_config_dev
- src/plugins/e-acsl/tests/utils/signalled.h 0 additions, 0 deletionssrc/plugins/e-acsl/tests/utils/signalled.h
Loading
Please register or sign in to comment