Browse Source

Text for -help.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10281 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 11 years ago
parent
commit
ec7451ce5c
  1. 1
      prism/src/prism/PrismCL.java

1
prism/src/prism/PrismCL.java

@ -2228,6 +2228,7 @@ public class PrismCL implements PrismModelListener
mainLog.println("If provided, <options> is a comma-separated list of options taken from:");
mainLog.println(" * csv - Export results as comma-separated values");
mainLog.println(" * matrix - Export results as one or more 2D matrices (e.g. for surface plots)");
mainLog.println(" * comment - Export results in comment format for regerssion testing)");
}
// -exportmodel
else if (sw.equals("exportmodel")) {

Loading…
Cancel
Save