mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-19 16:53:18 +00:00
Code Activity

check context match

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2026-01-17 20:42:45 -08:00
parent eddb75b2e7
commit 90a660ccb9
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/api/dotnet/Context.cs
View file

@ -2691,7 +2691,8 @@ namespace Microsoft.Z3
Debug.Assert(i != null);
Debug.Assert(a != null);
Debug.Assert(s != null);
CheckContextMatch(f, i, a, s);
CheckContextMatch(f, i, a);
CheckContextMatch(s, a);
return Expr.Create(this, Native.Z3_mk_seq_foldli(nCtx, f.NativeObject, i.NativeObject, a.NativeObject, s.NativeObject));
}