issues
search
karelklic
/
canal
Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32
stars
2
forks
source link
Print command should work for analysis with fixpoint reached
#108
Closed
karelklic
closed
11 years ago
karelklic
commented
11 years ago
Currently, it works only during the computation of fixed point.
Currently, it works only during the computation of fixed point.