Commit d51a4b37 authored by Maeva Ramarjiaona's avatar Maeva Ramarjiaona

underapproximation fixed

parent 7b92fbd1
......@@ -40,7 +40,7 @@ bool ExistHitPrevUDomain::equals(const t& acss, const t& bcss) const
if (j < (dcss[i]).size())
tmp[j] = dcss[i][j] ;
else
tmp[j] = scss[i][j-dcss.size()];
tmp[j] = scss[i][j-dcss[i].size()];
}
dcss[i] = tmp;
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment