Unused variable in get_(un)signed_intervals

Open elazarg opened this issue 9 months ago • 0 comments

The variable is64 is written to but not read afterwards. This is likely a bug.

https://github.com/vbpf/prevail/blob/2a44d21f04737ecc5ee036fd7408cc15b1788202/src/crab/finite_domain.cpp#L127

https://github.com/vbpf/prevail/blob/2a44d21f04737ecc5ee036fd7408cc15b1788202/src/crab/finite_domain.cpp#L173

Apr 15 '25 13:04 elazarg