> What I want to do is pretty similar to what liveness.ml does
> which is printing variables that are live at each statement and also values
> of those variables.
It looks like you want a static analysis (liveness.ml implements
a static analysis) that tells you the set of possible values
for var
Hi,
I want to track a value changing of a particular variable at runtime.
What I want to do is pretty similar to what liveness.ml does which is printing
variables that are live at each statement and also values of those variables.
Is there any internal structure that keeps the value/state of a
