[PPL-devel] Regression test failures on OpenBSD

[Enea Zaffanella]

On 07/02/2012 12:11 PM, Edd Barrett wrote:
> Hi,
>
> Whilst building a port of PPL to OpenBSD I have encountered the following
> regression test failures:
>
> ---8<---
> gmake[5]: Entering directory `/usr/ports/pobj/ppl-1.0/ppl-1.0/tests/Concrete_Expression'
> PASS: C_Expr
> PASS: linearform1
> PASS: linearize
> PASS: digitalfilters1
> PASS: bdshape1
> PASS: bdshape2
> PASS: octagonalshape1
> PASS: octagonalshape2
> tests failed: test04
> FAIL: polyhedron1
> tests failed: test04
> FAIL: polyhedron2
> ======================================
> 2 of 10 tests failed
> Please report to ppl-devel at cs.unipr.it
> ======================================
> ---8<---
>
> This does not give a huge amount of information. How can I get more
> information? I had a prod around in the tests dir but did not see any
> obvious log files.

Hello.

To obtain more output, you can try running the failing tests with 
environment variable
   PPL_NOISY_TESTS
set to 1. For instance:

# cd <build>/tests/Concrete_Expression
# make polyhedron1
# PPL_NOISY_TESTS=1 ./polyhedron1
# make polyhedron2
# PPL_NOISY_TESTS=1 ./polyhedron2

Please send us the output you are obtaining, as well as the (compressed) 
file config.log.

Thanks,
Enea.


> I am running OpenBSD-current/amd64 with PPL-1.0 release.
>
> Please CC me, I am not subscribed. Thanks
>