From 1ec0d02ead6d4ad48a39de5610aca53d24c8b268 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 14 Nov 2012 11:14:09 -0800 Subject: [PATCH] added get_version to z3py Signed-off-by: Leonardo de Moura --- src/api/python/z3.py | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/src/api/python/z3.py b/src/api/python/z3.py index f3de4258a..f6c152d5e 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -49,6 +49,22 @@ def enable_trace(msg): def disable_trace(msg): Z3_disable_trace(msg) +def get_version_string(): + major = ctypes.c_uint(0) + minor = ctypes.c_uint(0) + build = ctypes.c_uint(0) + rev = ctypes.c_uint(0) + Z3_get_version(major, minor, build, rev) + return "%s.%s.%s" % (major.value, minor.value, build.value) + +def get_version(): + major = ctypes.c_uint(0) + minor = ctypes.c_uint(0) + build = ctypes.c_uint(0) + rev = ctypes.c_uint(0) + Z3_get_version(major, minor, build, rev) + return (major.value, minor.value, build.value, rev.value) + # We use _z3_assert instead of the assert command because we want to # produce nice error messages in Z3Py at rise4fun.com def _z3_assert(cond, msg):