[Javapathfinder-svn] SF.net SVN: javapathfinder:[1696] trunk/extensions/rtembed

[<ppa...@us...>]

Revision: 1696
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1696&view=rev
Author:   pparizek
Date:     2009-06-26 13:44:29 +0000 (Fri, 26 Jun 2009)

Log Message:
-----------
test programs for the RTEmbed extension,
Ant targets to run the tests

Modified Paths:
--------------
    trunk/extensions/rtembed/build.xml

Added Paths:
-----------
    trunk/extensions/rtembed/lib/
    trunk/extensions/rtembed/lib/ant-contrib-1.0b3.jar
    trunk/extensions/rtembed/test/
    trunk/extensions/rtembed/test/gov/
    trunk/extensions/rtembed/test/gov/nasa/
    trunk/extensions/rtembed/test/gov/nasa/jpf/
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/AreasCheck1.java
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/AssignmentError1.java
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/AssignmentError2.java
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/AssignmentError3.java
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/AssignmentError4.java
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/AssignmentError5.java
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/AssignmentError6.java
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/InaccessibleAreaError.java
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/NHRTError1.java
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/NHRTError2.java
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/NHRTError3.java
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/ThreadStateError.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.