diff --git a/simulators/c++2/src_simulator/sim/Simulator.cpp b/simulators/c++2/src_simulator/sim/Simulator.cpp index 69b66078e8783c7d95937920d1f59e57174cb173..f833796e547e49ef719d0df31c2752924496bb51 100644 --- a/simulators/c++2/src_simulator/sim/Simulator.cpp +++ b/simulators/c++2/src_simulator/sim/Simulator.cpp @@ -501,6 +501,7 @@ void Simulator::printHelp(){ "-otxt ofile simulate and write traces to ofile in text format\n" "-ovcd ofile simulate and write traces to ofile in vcd format\n" "-ograph ofile simulate and write traces to ofile in aut format\n" + "-explo generate the reachability graph \n" "-cmd \'c1 p1 p2;c2\' execute commands c1 with parameters p1 and p2 and c2\n" "-oxml ofile xml reply is written to ofile, in case the -cmd option is used\n" "***************************************************************************\n\n";