Hello.
Is it possible to take symbolic output somehow?
Let's assume that f(x) and g(x) implements the same functionality.
To check whether the two implementations are equivalent or not,
I think we can compare the symbolic outputs of f(x) and g(x) when symbolic
input x is given.
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;}
Is it doable with klee?
Thanks you.
-Eunsoo
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/mailman/private/klee-dev/attachments/20090511/44ca43ca/attachment.html
