11 Aug
2011
11 Aug
'11
10:37 a.m.
On 08/11/11 10:21, Maciej Bliziński wrote:
Hi Roberto,
2011/8/11 Roberto Bagnarabagnara@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@cs.unipr.it