1 Feb
2013
1 Feb
'13
7:33 a.m.
I see there is now a segmentation fault running one of the tests about recovery from out-of-memory conditions:
https://buildd.debian.org/fetch.cgi?pkg=ppl&arch=s390x&ver=1%3A1.0-3...
Would it be possible to obtain temporary access to a similar machine? Thanks,
Roberto
-- Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com