CBMC 6.5.0 doesn't correctly handle quantifiers with branching #4019
Description
The issue has been fixed in CBMC end (diffblue/cbmc#8618). This issue should be resolved once we upgrade the CBMC version for Kani,
{{ message }}
The issue has been fixed in CBMC end (diffblue/cbmc#8618). This issue should be resolved once we upgrade the CBMC version for Kani,