From 1a26c9726bafca21cdba95f7a9f709ec087f43a0 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 14 Jun 2013 13:15:48 +0100 Subject: [PATCH] .NET API: bugfix Signed-off-by: Christoph M. Wintersteiger --- src/api/dotnet/Solver.cs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/dotnet/Solver.cs b/src/api/dotnet/Solver.cs index 274f8dc4a..555a2466f 100644 --- a/src/api/dotnet/Solver.cs +++ b/src/api/dotnet/Solver.cs @@ -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));