[tests] preparation for the test execution from result directories
Showing
- ptests/ptests.ml 274 additions, 76 deletionsptests/ptests.ml
- src/plugins/aorai/tests/test_config 1 addition, 1 deletionsrc/plugins/aorai/tests/test_config
- src/plugins/aorai/tests/test_config_prove.in 1 addition, 1 deletionsrc/plugins/aorai/tests/test_config_prove.in
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c 59 additions, 59 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 3 additions, 2 deletionssrc/plugins/e-acsl/tests/builtin/strcat.c
- src/plugins/e-acsl/tests/builtin/strcmp.c 4 additions, 2 deletionssrc/plugins/e-acsl/tests/builtin/strcmp.c
- src/plugins/e-acsl/tests/builtin/strcpy.c 4 additions, 2 deletionssrc/plugins/e-acsl/tests/builtin/strcpy.c
- src/plugins/e-acsl/tests/builtin/strlen.c 4 additions, 2 deletionssrc/plugins/e-acsl/tests/builtin/strlen.c
- src/plugins/e-acsl/tests/builtin/utils 1 addition, 0 deletionssrc/plugins/e-acsl/tests/builtin/utils
- 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/utils 1 addition, 0 deletionssrc/plugins/e-acsl/tests/format/utils
Loading
Please register or sign in to comment