fix borked tests

sfiruch · Nov 21, 2023 · 1e6009c · 1e6009c
1 parent bac108b
commit 1e6009c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Tests/ExactlyKOfTests.cs b/Tests/ExactlyKOfTests.cs
@@ -99,7 +99,7 @@ public void ExactlyKPositiveStatic(Model.KOfMethod? _method)
 							else
 								v[i] = Model.False;
 
-						m.AddConstr(m.AtMostKOf(v, k));
+						m.AddConstr(m.ExactlyKOf(v, k));
 						m.Solve();
 
 						if (pos == k)
@@ -163,7 +163,7 @@ public void ExactlyKNegativeStatic(Model.KOfMethod? _method)
 							else
 								v[i] = Model.False;
 
-						m.AddConstr(m.AtMostKOf(v, k));
+						m.AddConstr(!m.ExactlyKOf(v, k));
 						m.Solve();
 
 						if (pos != k)