Thank you Andrew and Heinrich for pointing me in the right direction. In the macro there is a "create" method declared, but I am unable to find the definition of that method. Can you please tell me where it is defined i.e where is the method EqExpr::create(...) defined.
-- Thanks and Regards, Sumit On 24 March 2016 at 06:48, Andrew Santosa <santosa_1...@yahoo.com> wrote: > Hi Sumit, > > It's declared in include/klee/Expr.h using macro COMPARISON_EXPR_CLASS. > Note that below the definition of that macro there is a line that says > > COMPARISON_EXPR_CLASS(Eq) > > Which actually declares EqExpr. > > Best, > Andrew > > > On Thursday, 24 March 2016, 4:18, Sumit Kumar <sumit686...@gmail.com> > wrote: > > > Hi, > Can anyone please tell me where is the class for "EqExpr" located. I tried > to find it using grep but could not find it anywhere. I could not find it > in class Expr.h as well. > > -- > Thanks and Regards, > Sumit > > _______________________________________________ > klee-dev mailing list > klee-dev@imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > > >
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
