From c29df18276bda2aa150857bd3451af6a7e7cbc0b Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 28 Jul 2020 07:53:51 +0200
Subject: [PATCH] [wp] Prepare ChangeLog for hypotheses
---
src/plugins/wp/Changelog | 3 +++
src/plugins/wp/register.ml | 1 -
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 7f362c71486..5a34b53a2bd 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,9 @@
Plugin WP <next-release>
#########################
+- WP [2020-XX-XX] New experimental option: -wp-check-model-hypotheses
+ Generates requires in contracts for model hypotheses
+- WP [2020-XX-XX] Hypotheses: assigned memory locations
- WP [2020-07-06] Removed debug keys "no-xxx-info" (subsumed by "shell")
- WP [2020-07-06] Option -wp-cache-env now defaults to false
- WP [2020-07-06] New option -wp-cache-print
diff --git a/src/plugins/wp/register.ml b/src/plugins/wp/register.ml
index c197451cd4c..ca36e3b3658 100644
--- a/src/plugins/wp/register.ml
+++ b/src/plugins/wp/register.ml
@@ -127,7 +127,6 @@ let wp_insert_memory_context model =
end
end
-
(* ------------------------------------------------------------------------ *)
(* --- Printing informations --- *)
(* ------------------------------------------------------------------------ *)
--
GitLab