mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

ML native layer bugfixes

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2012-12-21 03:02:12 +00:00
parent 8e83f8d034
commit 7efe7a2c16
4 changed files with 113 additions and 72 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/api/ml/z3.ml
View file

@ -22,10 +22,11 @@ struct
let build = let (_, _, x, _) = get_version in x
let revision = let (_, _, _, x) = get_version in x
let to_string =
string_of_int major ^ "." ^
string_of_int minor ^ "." ^
string_of_int build ^ "." ^
string_of_int revision ^ "."
let (mj, mn, bld, rev) = get_version in
string_of_int mj ^ "." ^
string_of_int mn ^ "." ^
string_of_int bld ^ "." ^
string_of_int rev ^ "."
end
class virtual idisposable =
@ -52,7 +53,7 @@ object (self)
method dispose : unit =
if m_refCount == 0 then (
Printf.printf "Disposing %d \n" (Oo.id self) ;
Printf.printf "Disposing context %d \n" (Oo.id self) ;
(del_context m_n_ctx)
) else (
(* re-queue for finalization? *)