search

karelklic / canal

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

Df takes kind a long to calculate fixpoint #164

Closed xbrukner closed 11 years ago

xbrukner commented 11 years ago

Running integration tests I found out it takes a longer time to calculate df.c than others (on my computer 11 seconds, on Arran 6; three times longer than any other program). Call graph can be found here: http://fi.muni.cz/~xbrukner/callgrind_df.out

karelklic commented 11 years ago

Currently performance is not an issue at all.