The condition inside if statement could not be a function about rellic HOT 3 CLOSED

i tried to implement the feature, but its still broken for some unknown reason... this is my try:

tly000/rellic@f05a372

im not quite sure if the tool crashes because of my changes or because of another problem:

I0509 17:24:50.739872  7999 Z3ConvVisitor.cpp:881] VisitConstant: k!0
F0509 17:24:50.739933  7999 Z3ConvVisitor.cpp:183] Check failed: c_decl_map.count(id) No C equivalent for Z3 declaration!
*** Check failure stack trace: ***
    @     0x55d700b6bd3c  google::LogMessageFatal::~LogMessageFatal()
    @     0x55d6ff478ef6  rellic::Z3ConvVisitor::GetCValDecl()

from rellic.

@tly000 does this reproduce on the issue_6_astbuilder branch?

from rellic.

yes, but my changes seem to work on a very simple example, the error is most likely unrelated. if youre interested, i ported the changes to the other branch:

tly000/rellic@4e27a73

from rellic.