[Javapathfinder-svn] SF.net SVN: javapathfinder:[1034] trunk

[<pcm...@us...>]

Revision: 1034
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1034&view=rev
Author:   pcmehlitz
Date:     2008-10-14 22:29:00 +0000 (Tue, 14 Oct 2008)

Log Message:
-----------
* added a first version of the PathOutputMonitor, which takes output specs and compares it
to the path outputs produced by the SuT. The error reporting still
needs to be polished, but it's mainly a tool for JPF verification anyways

the output matching could be significantly extended. So far it only supports simple per line
reg exps (plus a ". . ." ellipsis), but this could also use a parser and more elaborate
languages

* added a TestSchedules reg test that uses the PathOutputMonitor to check for transition breaks
upon Thread.sleep() calls with +cg.threads.break_all=true

Modified Paths:
--------------
    trunk/default.properties
    trunk/src/gov/nasa/jpf/jvm/JVM.java

Added Paths:
-----------
    trunk/src/gov/nasa/jpf/tools/PathOutputMonitor.java
    trunk/test/gov/nasa/jpf/mc/TestSchedules-output
    trunk/test/gov/nasa/jpf/mc/TestSchedules.java
    trunk/test/gov/nasa/jpf/mc/TestSchedulesJPF.java


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