Automatic scop detection

[Ilyas]

Hi everyone,

Is there a way to detect scops automatically in the source code or we have to instrument the scops manually. Looking forward to hear from you.

Thanks,

Qamar

[Cédric Bastoul]

Hi,

you may use the "autoscop" option of Clan, or the "autodetect" option of Pet for that (they will look for SCoPs that are OK w.r.t. Clan or Pet constraints).

Best,

Cedric

--
You received this message because you are subscribed to the Google Groups "Pluto development" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pluto-development+unsubscribe@googlegroups.com.
To post to this group, send email to pluto-development@googlegroups.com.
Visit this group at https://groups.google.com/group/pluto-development.
For more options, visit https://groups.google.com/d/optout.

[qamar ilyas]

Hi,

Thank you for the response. Can we use these passes directly from the pluto or we need to install clan or pet separately as I want to instrument the source code (adding #pragmas) automatically.

Thanks,

Qamar

[Cédric Bastoul]

Hi,

On Fri, May 12, 2017 at 4:51 PM, qamar ilyas <ilias...@gmail.com> wrote:

Hi,

Thank you for the response. Can we use these passes directly from the pluto

Not yet.

 

or we need to install clan or pet separately as I want to instrument the source code (adding #pragmas) automatically.

Yes, at the moment, this is the way.

Best,

Cedric