<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Fri, Jan 5, 2018 at 8:45 PM, Jonathan Wilkes <span dir="ltr"><<a href="mailto:jon.w.wilkes@gmail.com" target="_blank">jon.w.wilkes@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">valgrind-3.12.0.SVN<br></blockquote><div><br></div><div>According to the changelog, that bug was fixed in 3.12.0 in October 2016. But that SVN tag in the version number is suspicious, it might indicate a pre-release snapshot.</div><div><br></div><div>I guess that you can only be sure if you grab the Debian Stretch source package and have a look at the source file. But it's clear from the error message that the valgrind version run by CI does check against the wrong value (after the bugfix it's supposed to check for <=96, not 88).</div><div><br></div><div>Do you have the Jessie host still available? Can you check the valgrind version there? Maybe it was updated after Stretch, but I'm grasping at straws there... In any case, I'd say that your safest bet is to try and see whether you can get valgrind 3.13 up and running on that Stretch host in some way.<br></div><div> <br></div>Albert<br></div><br>-- <br><div class="gmail_signature"><div dir="ltr">Dr. Albert Gr"af<br>Computer Music Research Group, JGU Mainz, Germany<br>Email:  <a href="mailto:aggraef@gmail.com" target="_blank">aggraef@gmail.com</a><br>WWW:    <a href="https://plus.google.com/+AlbertGraef" target="_blank">https://plus.google.com/+AlbertGraef</a></div></div>
</div></div>