<html>
  <head>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <br>
    <blockquote
cite="mid:CALcKjcqwhooVvb=4mi0aapMNNgZz=7-y46JMU47KsXB8rRRHzQ@mail.gmail.com"
      type="cite">
      <div class="gmail_extra">
        <div class="gmail_quote">
          <blockquote class="gmail_quote" style="margin:0 0 0
            .8ex;border-left:1px #ccc solid;padding-left:1ex">
            <div bgcolor="#FFFFFF" text="#000000"><span class="">
                <blockquote type="cite">
                  <div dir="ltr">
                    <div>
                      <ol>
                        <li>A buko Execution teszt; az output ld. lent.
                          (banalisnak tunik elso blikkre, de ugy, hogy
                          nem ertek hozza, nem szivesen pacsmagolnek)</li>
                      </ol>
                    </div>
                  </div>
                </blockquote>
                <br>
              </span> Már nem bukik. Illetve, az utóbbi három futása
              során rendben lefutott.<br>
            </div>
          </blockquote>
        </div>
      </div>
    </blockquote>
    <br>
    <blockquote
cite="mid:CALcKjcqwhooVvb=4mi0aapMNNgZz=7-y46JMU47KsXB8rRRHzQ@mail.gmail.com"
      type="cite">
      <div dir="ltr">
        <div>Javitottal valamit,</div>
      </div>
    </blockquote>
    <br>
    Igen, [1933]. A felületen néhány dolgot kissé más néven kell elérni,
    mint korábban.<br>
    <br>
    <blockquote
cite="mid:CALcKjcqwhooVvb=4mi0aapMNNgZz=7-y46JMU47KsXB8rRRHzQ@mail.gmail.com"
      type="cite">
      <div dir="ltr">
        <div>vagy nem determinisztikus az eredmeny?</div>
      </div>
    </blockquote>
    <br>
    Változtatás közben néhányszor megállt a tesztelő olyan pontokon,
    ahol nem kellett volna neki, és timeout-olt. Lehet, hogy beakadt
    neki valami; Eclipse-újraindítás után megint ment -- és az aktuális
    verzióban nem jött elő ilyen probléma.<br>
    <br>
    Robi<br>
    <br>
  </body>
</html>