[eacsl] Replace CI test config with default test config
Showing
- src/plugins/e-acsl/.gitignore 1 addition, 0 deletionssrc/plugins/e-acsl/.gitignore
- src/plugins/e-acsl/Makefile.in 19 additions, 18 deletionssrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/headers/header_spec.txt 6 additions, 6 deletionssrc/plugins/e-acsl/headers/header_spec.txt
- src/plugins/e-acsl/tests/builtin/test_config 0 additions, 0 deletionssrc/plugins/e-acsl/tests/builtin/test_config
- src/plugins/e-acsl/tests/format/test_config 0 additions, 0 deletionssrc/plugins/e-acsl/tests/format/test_config
- src/plugins/e-acsl/tests/full-mtracking/test_config 0 additions, 0 deletionssrc/plugins/e-acsl/tests/full-mtracking/test_config
- src/plugins/e-acsl/tests/gmp-only/test_config 1 addition, 0 deletionssrc/plugins/e-acsl/tests/gmp-only/test_config
- src/plugins/e-acsl/tests/temporal/test_config 0 additions, 0 deletionssrc/plugins/e-acsl/tests/temporal/test_config
- src/plugins/e-acsl/tests/test_config.in 0 additions, 0 deletionssrc/plugins/e-acsl/tests/test_config.in
Loading
Please register or sign in to comment