[klee-dev] Steps required for adding expr

[Sumit Kumar]

Hi,

I was reading Expr.h file when I came across this comment:

        <b>Steps required for adding an expr</b>:
         -# Add case to printKind
         -# Add to ExprVisitor
         -# Add to IVC (implied value concretization) if possible

Can anyone please explain the above in anyway possible (brief / detail) ?

--
Thanks and Regards,
Sumit
-------------- next part --------------
HTML attachment scrubbed and removed