 
            
            
            
            
                11 May
                
                    2012
                
            
            
                11 May
                
                '12
                
            
            
            
        
    
                3:13 p.m.
            
        On 05/11/2012 06:00 AM, Sergey Oboguev wrote:
When building ppl-0.12.1 on OS X,
tests failed: test04 test05 FAIL: polyhedron1 tests failed: test04 test05 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel@cs.unipr.it ====================================== make[5]: *** [check-TESTS] Error 1 make[4]: *** [check-am] Error 2 make[3]: *** [run_tests.stamp] Error 1 make[2]: *** [check-am] Error 2 make[1]: *** [check-recursive] Error 1 make: *** [check-recursive] Error 1
Please send us your (compressed) config.log as well as the output of the following commands:
# cd <ppl-build-dir> # cd tests/Concrete_Expression # PPL_NOISY_TESTS=1 ./polyhedron1 # PPL_NOISY_TESTS=1 ./polyhedron2
Enea.