[Makefile] fix 'make clean' in tests

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 #

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.