From c4a24372b70180f23b7a56a81533e86ebb8509e7 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Sun, 1 Jun 2014 11:40:43 +0200
Subject: Fix assertions ; fix environment equality test ; fix varialbe
 removal.

---
 abstract/nonrelational.ml | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'abstract/nonrelational.ml')

diff --git a/abstract/nonrelational.ml b/abstract/nonrelational.ml
index 188c8bc..530b373 100644
--- a/abstract/nonrelational.ml
+++ b/abstract/nonrelational.ml
@@ -113,6 +113,16 @@ module NonRelational (V : VALUE_DOMAIN) : ENVIRONMENT_DOMAIN = struct
                 (fun _ v -> v = V.top)
                 (fun _ a b -> V.subset a b)
                 m n
+
+    let eq a b = match a, b with
+        | Bot, Bot -> true
+        | Env m, Env n ->
+            VarMap.for_all2o
+                (fun _ _ -> false)
+                (fun _ _ -> false)
+                (fun _ a b -> a = b)
+                m n
+        | _ -> false
         
     (* pretty-printing *)
     let var_str env vars =
-- 
cgit v1.2.3