From 0caa1ebe947646459295c6a66da6bf19f399c21e Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Wed, 18 Jun 2014 12:13:17 +0200 Subject: Abstract interpretation gives good results on the limiter example. --- abstract/value_domain.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'abstract/value_domain.ml') diff --git a/abstract/value_domain.ml b/abstract/value_domain.ml index 7b9d557..bb27126 100644 --- a/abstract/value_domain.ml +++ b/abstract/value_domain.ml @@ -8,7 +8,7 @@ let string_of_bound = function | Int i -> string_of_int i let string_of_itv = function | Bot -> "⊥" - | Itv(a, b) -> "[" ^ (string_of_bound a) ^ ";" ^ (string_of_bound b) ^ "]" + | Itv(a, b) -> "[" ^ (string_of_bound a) ^ "; " ^ (string_of_bound b) ^ "]" module type VALUE_DOMAIN = sig type t -- cgit v1.2.3