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 <[email protected]> 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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
