[eacsl] Update test config to use LIBS directive
Showing
- src/plugins/e-acsl/Makefile.in 5 additions, 5 deletionssrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/headers/header_spec.txt 1 addition, 1 deletionsrc/plugins/e-acsl/headers/header_spec.txt
- src/plugins/e-acsl/tests/E_ACSL_test.ml 0 additions, 0 deletionssrc/plugins/e-acsl/tests/E_ACSL_test.ml
- src/plugins/e-acsl/tests/test_config.in 2 additions, 1 deletionsrc/plugins/e-acsl/tests/test_config.in
Loading
Please register or sign in to comment