RE: [Javapathfinder-user] TestJPF fails

[Willem V. <wv...@em...>]

Hi Richard,
 
TestJPF is not really a test so it is fine that it fails. It is just a
naming convention problem: everything starting with Test. is considered
a test for junit, but this one is not a real test it is just our code
for running jpf during junit tests.
 
Bye,
Willem
--
Willem C. Visser                 Automated Software Engineering Group
RIACS/NASA Ames Research Center            wv...@em...
M/S 269-2                                     http://ase.arc.nasa.gov
Moffett Field, CA 94035                (650)604-3515 fax 4036  rm 235
-----Original Message-----
From: jav...@li...
[mailto:jav...@li...] On Behalf Of
Markeloff, Richard
Sent: Friday, April 21, 2006 5:21 AM
To: jav...@li...
Subject: [Javapathfinder-user] TestJPF fails
 
When I do ant run-tests, there are no compile errors and all tests pass
except TestJPF. Does this indicate a problem with my set up?
 
I am using the latest code from CVS, the jars and ant downloaded from
sourceforge.net, and Java 1.4.2_04.
 
Thank you,
 
Rich Markeloff
 
________________________________
 
Richard Markeloff
SPARTA, Inc.
1911 N. Fort Myer Dr., Suite 1100
Arlington, VA 22209
 
Voice: 703 647 2414
Fax:    703 558 3410