[klee-dev] where is the class for "EqExpr" located

[Andrew Santosa]

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 <sumit686215 at 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 at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev


   
-------------- next part --------------
HTML attachment scrubbed and removed