[Soot-list] issues in creating new loop from old loop

[TELKUNTE NIKHIL RAJENDRA cs16m028]

I am working on Loops.

What I want to do is if there is a loop like this

for(int i=0;i<n;i++)
{
    s1;
    s2;
    s3;
}

I want to split it into two

for(int i=0;i<n1;i++) //loop1
{
    s1;
    s2;
    s3;
}
for(int i=n1;i<n;i++) //loop2
{
    s1;
    s2;
    s3;
}

but while creating loop2 when I am trying to add s1 of loop2 I am getting
an error.


*[Thread-3] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread
execution failed: Chain already contains object.java.lang.RuntimeException:
Chain already contains object.*


Can you please help me resolve this issue?
I am getting an idea that I have to create new Unit to replace but how
should I create a new Unit from the old one.

Thanks,
--Nikhil
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20180401/48173daf/attachment.html>