[vmchecker-dev] feature request

[Lucian Adrian Grijincu]

On Tue, Oct 28, 2008 at 10:32 AM, Alexandru Moșoi <brtzsnr at gmail.com> wrote:
> pai... outputul trebuie sa apara in /checked/.../ si nu in fisierul
> nota, eventual in fisiere separate. nu vrem sa scriem iesirea in
> fisierul nota. eventual outputul ala se poate compresa cu gzip :).

Adică să fie disponibil profilor la corectare?
Se poate face ceva de genu ăsta:
* dacă vrei să ai un anumit output în plus trebuie să redirectezi din
makefile.checker în mod explicit într-un fișier (să-i zicem
vmchecker_suplimentary_output_file, eventual configurabil, deși dacă
le dăm prea multe chestii de configurat o să fie nașpa). Și punem
regulă în vmchecker să caute fișierul ăsta și să-l trimită cu restu pe
mașina în checked/ lângă nota și archive.

-- 
Lucian