Fix infinite fixpoint calculation on tests/integration/3-pointer.c - Githubissues

karelklic / canal

Abstract interpreter for real-world application programs

https://github.com/karelklic/canal/wiki

Other

32 stars 2 forks source link

Fix infinite fixpoint calculation on tests/integration/3-pointer.c #64

Closed karelklic closed 12 years ago

karelklic commented 12 years ago

Fix infinite fixpoint calculation on tests/integration/3-pointer.c