Re: [PPL-devel] Two failing tests on Solaris

Hi Roberto,

2011/8/11 Roberto Bagnara bagnara@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