I'm using BuDDy2.4 for Points-To analysis. BuDDy works fine, for big
sets too. But when I want to put out my Points-To set with fdd_printset
or fdd_fprintset, it takes very long time for big sets. For example:
with 100.000 bdd nodes takes solving only a few seconds and
fdd_printset takes about 30-45 minutes!
Is it so, or do I anything wrong?
Can I use another function to put my fdd variables out faster?