From d4ab85a1a6503cdbcb98c183c3357926d78da8a7 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Wed, 7 May 2014 19:04:38 +0200
Subject: implement assert, print

---
 abstract/constant_domain.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'abstract/constant_domain.ml')

diff --git a/abstract/constant_domain.ml b/abstract/constant_domain.ml
index 4bd5cf2..d142228 100644
--- a/abstract/constant_domain.ml
+++ b/abstract/constant_domain.ml
@@ -50,4 +50,9 @@ module Constants : VALUE_DOMAIN = struct
 				then Int a, Int b
 				else Bot, Bot
 		| x, y -> x, y
+	
+	let to_string = function
+		| Bot -> "bot"
+		| Top -> "top"
+		| Int i -> "{" ^ (Z.to_string i) ^ "}"
 end
-- 
cgit v1.2.3