Browse Source

Typo in -help text.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3097 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 15 years ago
parent
commit
6297c2b51c
  1. 2
      prism/src/prism/PrismCL.java

2
prism/src/prism/PrismCL.java

@ -1779,7 +1779,7 @@ public class PrismCL
mainLog.println("-importtrans <file> ............ Import the transition matrix directly from a text file"); mainLog.println("-importtrans <file> ............ Import the transition matrix directly from a text file");
mainLog.println("-importstates <file>............ Import the list of states directly from a text file"); mainLog.println("-importstates <file>............ Import the list of states directly from a text file");
mainLog.println("-importlabels <file>............ Import the list of labels directly from a text file"); mainLog.println("-importlabels <file>............ Import the list of labels directly from a text file");
mainLog.println("-importinitdist <expr>.......... Specify the initial probability distribution for transient analysis");
mainLog.println("-importinitdist <file>.......... Specify the initial probability distribution for transient analysis");
mainLog.println("-dtmc .......................... Force imported/built model to be a DTMC"); mainLog.println("-dtmc .......................... Force imported/built model to be a DTMC");
mainLog.println("-ctmc .......................... Force imported/built model to be a CTMC"); mainLog.println("-ctmc .......................... Force imported/built model to be a CTMC");
mainLog.println("-mdp ........................... Force imported/built model to be an MDP"); mainLog.println("-mdp ........................... Force imported/built model to be an MDP");

Loading…
Cancel
Save