[abc] removed abc options

When we ran the experiments for the PLDI paper, for the no-intra, we
used the options:

-debug dontUseCflowCounter
-debug dontShareCflowStacks
-nodebug cflowIntraAnalysis

None of these options exist anymore.

I see that the first two have been replaced by:
-cflow-use-counters:false -cflow-use-sharing:false

However, what is the new equivalent of the third option?

Ondrej
Received on Fri Apr 8 19:09:40 2005