search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 2 forks source link

Test output of abstract interpretation #115

Open xbrukner opened 11 years ago

xbrukner commented 11 years ago

It would be nice to do at least basic checks of output of abstract interpretation - ie via diff.

Problem is with LLVM version - result is fixed on .s file, which is compiled on-the-fly.