diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-06-01 10:06:35 +0200 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-06-01 10:06:35 +0200 |
| commit | 652d04c5476fdfb9cc7a2d93de3df4d76a6882ce (patch) | |
| tree | 128e3af9f8c23d9edf8ceb949565ead5840fd46a /abstract/nonrelational.ml | |
| parent | 1038c28dab7775278c67e941a5e29d6e128eb09d (diff) | |
| download | SemVerif-Projet-652d04c5476fdfb9cc7a2d93de3df4d76a6882ce.tar.gz SemVerif-Projet-652d04c5476fdfb9cc7a2d93de3df4d76a6882ce.zip | |
Implémentation des intervalles ; début rédaction du rapport.
Diffstat (limited to 'abstract/nonrelational.ml')
| -rw-r--r-- | abstract/nonrelational.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/abstract/nonrelational.ml b/abstract/nonrelational.ml index aa34d14..188c8bc 100644 --- a/abstract/nonrelational.ml +++ b/abstract/nonrelational.ml @@ -110,7 +110,7 @@ module NonRelational (V : VALUE_DOMAIN) : ENVIRONMENT_DOMAIN = struct | Env m, Env n -> VarMap.for_all2o (fun _ _ -> true) - (fun _ _ -> true) + (fun _ v -> v = V.top) (fun _ a b -> V.subset a b) m n |