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