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&stamp=1359686851&file=log 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:[email protected] BUGSENG srl - http://bugseng.com mailto:[email protected]
