
11 Aug
2011
11 Aug
'11
1:29 p.m.
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@cs.unipr.it