projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25b8d01) | patch
Fix debug trace for miplib (#7563)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 3 Nov 2021 21:12:37 +0000 (16:12 -0500)
committerGitHub <noreply@github.com>
Wed, 3 Nov 2021 21:12:37 +0000 (21:12 +0000)
commitb8504ef92ef609ddeaf093299811aa8d6d6396ad
treef9194754d4dc19348af2c2d98d310c4e6876ed69tree
parent25b8d01a989a51763e2130384c800a5732d4e06acommit | diff
Fix debug trace for miplib (#7563)

A debug trace on miplib referred to a possibly out of bounds child.
src/preprocessing/passes/miplib_trick.cpp diff | blob | history