diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in index 5ceeea83915d8b76b3d461735653e145aa471fc6..94e44b88d177a64a1f52530b8044120e8f7f7384 100644 --- a/src/plugins/e-acsl/Makefile.in +++ b/src/plugins/e-acsl/Makefile.in @@ -128,7 +128,8 @@ endif clean:: $(PRINT_RM) generated test files - $(RM) $(PLUGIN_DIR)/tests/*.cm* + $(RM) $(E_ACSL_DIR)/tests/*.cm* $(E_ACSL_DIR)/tests/*.o + $(RM) $(E_ACSL_DIR)/tests/test_config ########### # Install # diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index e4aa0f93664f21714dc75697c428361921475c20..9544a709df4d4954b7ee014754b34dd841a722fb 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,6 +15,12 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### +-* E-ACSL [2016/02/25] Fix 'make clean' in tests. + +########################### +Plugin E-ACSL 0.6 Magnesium +########################### + -* E-ACSL [2016/01/15] Fix installation with custom --prefix. -* E-ACSL [2016/01/05] Fix bug in the memory model that caused the tracked size of heap memory be computed incorrectly.