[PPL-devel] Two failing tests on Solaris

[Roberto Bagnara]

On 08/11/11 12:23, Maciej Bliziński wrote:
> But I need to find a way out of the vicious
> circle, either make the tests pass, or establish that the failures are
> harmless.

As far as I know, GCC does not use the functionality exercised in
those test programs.

> Is there another way of getting the list of failed functions?

Perhaps you single-step the program with gdb.
Success,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it