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@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