diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index f40c5c42..31ffd0b5 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -2424,6 +2424,7 @@ public class PrismCL implements PrismModelListener mainLog.println(); mainLog.println("EXPORT OPTIONS:"); mainLog.println("-exportresults Export the results of model checking to a file"); + mainLog.println("-exportvector .......... Export results of model checking for all states to a file"); mainLog.println("-exportmodel . Export the built model to file(s)"); mainLog.println("-exporttrans ............ Export the transition matrix to a file"); mainLog.println("-exportstaterewards ..... Export the state rewards vector to a file");