Hello,

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?

Thanks

Alex

--