[PPL-devel] Two failing tests on Solaris
Roberto Bagnara
bagnara at cs.unipr.it
Thu Aug 11 10:37:05 CEST 2011
On 08/11/11 10:21, Maciej Bliziński wrote:
> Hi Roberto,
>
> 2011/8/11 Roberto Bagnara<bagnara at cs.unipr.it>:
>> can you please define the environment variable `PPL_NOISY_TESTS'
>> to anything, just before running `bounds1' and `smashproduct1'
>> by hand? Then please send us the output.
>
> Here's the output:
> http://buildfarm.opencsw.org/~maciej/bounds1.log
> http://buildfarm.opencsw.org/~maciej/smashproduct1.log
Where are the segfaults?
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
More information about the PPL-devel
mailing list