[PPL-devel] Two failing tests on Solaris

[Maciej Bliziński]

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

Maciej