[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Infinite loop (ab)using the parallel test harness facility

From: Roberto Bagnara
Subject: Infinite loop (ab)using the parallel test harness facility
Date: Sun, 23 Jun 2013 08:45:46 +0200
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.12) Gecko/20050929 Thunderbird/1.0.7 Fedora/1.0.7-1.1.fc4 Mnenhy/

Hi there.

The solution we use since several years in the Parma Polyhedra Library
to the problem described in this thread

does not work with the parallel test harness facility.  The symptom
is that recompilation with the same set of flags is repeated over
and over again.  The problem goes away if one reverts to the obsolete
serial test harness facility, which would very much like to avoid.
A and script affected by this issue are;a=blob_plain;f=tests/BD_Shape/;hb=HEAD;a=blob_plain;f=tests/BD_Shape/run_tests;hb=HEAD

Does anyone spot the cause of the problem?
Kind regards,


P.S. Reading the manual we took note of the fact that we should
     make changes to, such as using LOG_COMPILER
     instead of TESTS_ENVIRONMENT, but these are orthogonal
     issue (i.e., the observation above is with an empty

     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
                              BUGSENG srl -

reply via email to

[Prev in Thread] Current Thread [Next in Thread]