UFO: consrefine option

[Siddharth Krishna]

Hi,

Quick question: what exactly does the --ufo-consrefine option do? I was looking through the code in lib/Core/DagItpRefiner.cpp and see that it has two different behaviours based on this option and was wondering what the high level idea was.

Thank you,

Siddharth

[Arie Gurfinkel]

It enables vinta-style (as opposed to ufo-style) refinement in which current abstract labeling of the DAG is used as the initial solution for interpolation.

With that option on, node labels (nodeLabes) are embedded into the VC initially, and are added to the computed interpolant at the end.

cheers,

arie

--
You received this message because you are subscribed to the Google Groups "UFO General Discussion Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ufo-discuss...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Siddharth Krishna]

Hi,

Oh I see. Thanks a lot!

Best,

Siddharth