Hi Eunsoo,
>
> For example, in the following case, I want to determine whether f()
> and g() are equivalent or not.
> int f(int x) {return x+x;}
> int g(int x) {return x*2;}
I think you can do something like that:
main()
{
int x;
make x symbolic
assert(f(x) == g(x));
}
Best regards,
Vitaly C.
