Fix to Z3_model_eval

jawline · jawline · commit fa3eb9e748d3 · 2018-04-19T12:14:16.000+01:00
diff --git a/templates/post_ref_bindings.js b/templates/post_ref_bindings.js
@@ -3,7 +3,7 @@ let Z3 = ffi.Library(libPath, GeneratedBindings);
 Z3.bindings_model_eval = function(ctx, mdl, expr) {
 	var pAST = ref.alloc(Z3.Ast, null);
     var result = Z3.Z3_model_eval(ctx, mdl, expr, true, pAST);
-    return result > 0 ? pAST.deref() : null;
+    return result != 0 ? pAST.deref() : null;
 }
 
 //////// End Z3 function definitions

Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@ let Z3 = ffi.Library(libPath, GeneratedBindings);`
`3`	`3`	`Z3.bindings_model_eval = function(ctx, mdl, expr) {`
`4`	`4`	`var pAST = ref.alloc(Z3.Ast, null);`
`5`	`5`	`var result = Z3.Z3_model_eval(ctx, mdl, expr, true, pAST);`
`6`		`- return result > 0 ? pAST.deref() : null;`
	`6`	`+ return result != 0 ? pAST.deref() : null;`
`7`	`7`	`}`
`8`	`8`
`9`	`9`	`//////// End Z3 function definitions`