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.
I am running OpenBSD-current/amd64 with PPL-1.0 release.
Please CC me, I am not subscribed. Thanks