Update of /cvsroot/javapathfinder//javapathfinder/src/gov/nasa/jpf/tools
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv16432/src/gov/nasa/jpf/tools
Modified Files:
StateSpaceDot.java
Log Message:
* a few prints to let you know what is happening
Index: StateSpaceDot.java
===================================================================
RCS file: /cvsroot/javapathfinder//javapathfinder/src/gov/nasa/jpf/tools/StateSpaceDot.java,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -d -r1.6 -r1.7
--- StateSpaceDot.java 12 Aug 2005 22:12:51 -0000 1.6
+++ StateSpaceDot.java 6 Sep 2005 21:29:46 -0000 1.7
@@ -511,7 +511,12 @@
public static void main(String [] args) {
StateSpaceDot listener = new StateSpaceDot();
+
+ System.out.println("JPF State Space dot Graph Generator");
listener.filterArgs(args);
+
+ System.out.println("...graph output to " + GRAPH_FILENAME + "...");
+
if (helpRequested==true) {
return;
}
@@ -522,6 +527,7 @@
JPF jpf = new JPF(conf);
jpf.addSearchListener(listener);
+ System.out.println("...running JPF...");
jpf.run();
}
}
|
