Sigur nu ai umblat la setarile masinii virtuale? Daca nu, e
reproductibil comportamentul pe vmchecker?

Testele in vmchecker nu se ruleaza cu run_all.sh ci cu make -f
Makefile.checker (n-ar trebui sa fie o diferenta esentiala)

On Thu, 16 May 2019 at 14:03, irina Mitocaru via so
<so@cursuri.cs.pub.ro> wrote:
>
> Buna.
>
>     Primesc timeout la anumite teste pe Vmchecker, insa cand rulez 
> ./run_all.sh din masina virtuala Linux,
> acele teste merg. Nu ar trebui sa fie acelasi comportament?
> _______________________________________________
> http://ocw.cs.pub.ro/courses/so/info/lista-discutii



-- 
Cu stimă,
Mihai Bărbulescu
_______________________________________________
http://ocw.cs.pub.ro/courses/so/info/lista-discutii

Raspunde prin e-mail lui