[vmchecker-request] Documentatie configurare masina virtuala vmchecker

[Razvan Deaconescu]

Sergiu Weisz <sergiu121 at gmail.com> writes:
> Salut,
>
> Exista vreo documentatie care sa ma ajute sa configurez masina
> virtuala pentru a o pune pe platforma pentru testarea temelor la PP pe
> vmchecker ?

Documentația de vmchecker e aici[1]. De configurarea mașinii virtuale ne
ocupăm noi. Ce anume ai nevoie? Ce ai până în momentul de față?

Răzvan