diff options
Diffstat (limited to 'abstract/constant_domain.ml')
| -rw-r--r-- | abstract/constant_domain.ml | 5 |
1 files changed, 5 insertions, 0 deletions
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 |