https://bugzilla.redhat.com/show_bug.cgi?id=2223012
--- Comment #5 from Jerry James <loganjerry(a)gmail.com> ---
Scott, when I ran the tests, many failed. The failures are caused by
out-of-bounds vector accesses. A fix can be found in this PR:
https://github.com/cvc5/cvc5/pull/9921.
Also, Cython 3.0.0 works fine, to my great relief.
--
You are receiving this mail because:
You are always notified about changes to this product and component
You are on the CC list for the bug.
https://bugzilla.redhat.com/show_bug.cgi?id=2223012
Report this comment as SPAM:
https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=rep...