Skip to content

Commit 9457dc0

Browse files
committed
lock tests
1 parent 4099286 commit 9457dc0

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

tests/test_conshdlr.py

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -85,6 +85,10 @@ def conslock(self, constraint, locktype, nlockspos, nlocksneg):
8585
assert n_locks_down_model == 2
8686
assert n_locks_down_conflict == 0
8787

88+
self.model.addVarLocksType(var, SCIP_LOCKTYPE.CONFLICT, nlockspos, nlocksneg)
89+
assert var.getNLocksUpType(SCIP_LOCKTYPE.CONFLICT) != n_locks_up_conflict or var.getNLocksDownType(SCIP_LOCKTYPE.CONFLICT) != n_locks_down_conflict
90+
assert var.getNLocksUpType(SCIP_LOCKTYPE.MODEL) == n_locks_up_conflict and var.getNLocksDownType(SCIP_LOCKTYPE.MODEL) == n_locks_down_conflict
91+
8892
if locktype == SCIP_LOCKTYPE.MODEL:
8993
self.model.addVarLocks(var, nlockspos, nlocksneg)
9094
assert var.getNLocksUpType(SCIP_LOCKTYPE.MODEL) != n_locks_up_model or var.getNLocksDownType(SCIP_LOCKTYPE.MODEL) != n_locks_down_model

0 commit comments

Comments
 (0)