VectorAPI Testing Infrastructure custom loop trip count

Paul Sandoz paul.sandoz at
Thu Apr 5 19:56:13 UTC 2018

> On Apr 5, 2018, at 11:26 AM, Halimi, Jean-Philippe <jean-philippe.halimi at> wrote:
> Sorry for the double-email, but Paul, I can also add the sed -e changes at the same time.

Not problem. If you rebase you will find i already pushed the changes to the use of sed in the scripts :-)


More information about the panama-dev mailing list