This repository has been archived by the owner on Apr 7, 2021. It is now read-only.

bug in reorder.c #3

Open

StevenEker opened this issue Jul 17, 2019 · 0 comments

StevenEker commented Jul 17, 2019

reorder.c:1629
if (!bdd_reorder_ready)
return;

Here bdd_reorder_ready() is a function so bdd_reorder_ready is a function address which is trivially true. I believe the code should be:

if (!(bdd_reorder_ready()))
return;

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.