You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@priyasiddharth please review. Found by clang. Seems to be definitely wrong since the function calls itself immediately. Should be calling m_main.ptrAdd instead. I'm committing a fix in dev12 branch. Please review there, and backport fix here.
The text was updated successfully, but these errors were encountered:
seahorn/lib/seahorn/BvOpSem2FatMemMgr.cc
Line 311 in 4840582
@priyasiddharth please review. Found by clang. Seems to be definitely wrong since the function calls itself immediately. Should be calling
m_main.ptrAdd
instead. I'm committing a fix indev12
branch. Please review there, and backport fix here.The text was updated successfully, but these errors were encountered: