[PPL-devel] Two failing tests on Solaris

[Maciej Bliziński]

2011/8/11 Roberto Bagnara <bagnara at cs.unipr.it>:
> 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?

Interestingly, segfaults go away when stdout goes to a pipe instead of
the terminal. For example:

maciej at unstable9s :~/src/opencsw/pkg/ppl/trunk >
PPL_NOISY_TESTS=wibble
work/solaris9-sparc/build-isa-sparcv8/ppl-0.11.2/tests/Partially_Reduced_Product/smashproduct1
>/dev/null
Bus Error (core dumped)
maciej at unstable9s :~/src/opencsw/pkg/ppl/trunk >
PPL_NOISY_TESTS=wibble
work/solaris9-sparc/build-isa-sparcv8/ppl-0.11.2/tests/Partially_Reduced_Product/smashproduct1
>/dev/null | cat
maciej at unstable9s :~/src/opencsw/pkg/ppl/trunk >

Perhaps the segfaults are a bit of a red herring; these two tests also
fail, e.g:

maciej at unstable9s :~/src/opencsw/pkg/ppl/trunk >
(work/solaris9-sparc/build-isa-sparcv8/ppl-0.11.2/tests/Partially_Reduced_Product/smashproduct1
|| echo "Test failed" | cat)
Test failed

We could investigate the failures first, and after fixing them, we
might find out that the segfaults are gone too.

Maciej