mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
.NET API: bugfix
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
894fd8b967
commit
1a26c9726b
|
@ -210,7 +210,7 @@ namespace Microsoft.Z3
|
|||
public Status Check(params Expr[] assumptions)
|
||||
{
|
||||
Z3_lbool r;
|
||||
if (assumptions == null)
|
||||
if (assumptions == null || assumptions.Length == 0)
|
||||
r = (Z3_lbool)Native.Z3_solver_check(Context.nCtx, NativeObject);
|
||||
else
|
||||
r = (Z3_lbool)Native.Z3_solver_check_assumptions(Context.nCtx, NativeObject, (uint)assumptions.Length, AST.ArrayToNative(assumptions));
|
||||
|
|
Loading…
Reference in a new issue