<html xmlns="http://www.w3.org/1999/xhtml" xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office"><head><!--[if gte mso 9]><xml><o:OfficeDocumentSettings><o:AllowPNG/><o:PixelsPerInch>96</o:PixelsPerInch></o:OfficeDocumentSettings></xml><![endif]--></head><body>
<br><div style="word-break: break-word;"><span style="-webkit-text-size-adjust: auto; background-color: rgba(255, 255, 255, 0);">Nu am schimbat setarile masinii virtuale.</span></div><div style="word-break: break-word;"><span style="-webkit-text-size-adjust: auto; background-color: rgba(255, 255, 255, 0);">Si cu make -f Makefile.checker e acelasi rezultat, testele care merg in masina virtuala nu merg pe Vmchecker din cauza timeoutului. Tot din aceasta cauza nici nu se termina checkeruk de rulat (pe Vm).</span></div><br><a href="https://overview.mail.yahoo.com/?.src=iOS">Sent from Yahoo Mail for iPhone</a><br><br><p class="yahoo-quoted-begin" style="font-size: 15px; color: #715FFA; padding-top: 15px; margin-top: 0">On Thursday, May 16, 2019, 3:22 PM, Mihai Barbulescu <b12mihai@gmail.com> wrote:</p><blockquote class="iosymail"><div dir="ltr">Sigur nu ai umblat la setarile masinii virtuale? Daca nu, e<br clear="none">reproductibil comportamentul pe vmchecker?<br clear="none"><br clear="none">Testele in vmchecker nu se ruleaza cu run_all.sh ci cu make -f<br clear="none">Makefile.checker (n-ar trebui sa fie o diferenta esentiala)<br clear="none"><div class="yqt2420985194" id="yqtfd91554"><br clear="none">On Thu, 16 May 2019 at 14:03, irina Mitocaru via so<br clear="none"><<a shape="rect" ymailto="mailto:so@cursuri.cs.pub.ro" href="mailto:so@cursuri.cs.pub.ro">so@cursuri.cs.pub.ro</a>> wrote:<br clear="none">><br clear="none">> Buna.<br clear="none">><br clear="none">>     Primesc timeout la anumite teste pe Vmchecker, insa cand rulez ./run_all.sh din masina virtuala Linux,<br clear="none">> acele teste merg. Nu ar trebui sa fie acelasi comportament?</div><br clear="none">> _______________________________________________<br clear="none">> <a shape="rect" href="http://ocw.cs.pub.ro/courses/so/info/lista-discutii" target="_blank">http://ocw.cs.pub.ro/courses/so/info/lista-discutii</a><br clear="none"><br clear="none"><br clear="none"><br clear="none">-- <br clear="none">Cu stimă,<br clear="none">Mihai Bărbulescu</div><blockquote></blockquote></blockquote>
</body></html>