diff --git a/simulators/c++2/src_simulator/sim/Simulator.cpp b/simulators/c++2/src_simulator/sim/Simulator.cpp index 575b0efc6812cfe2e8db9a39e50d7888be6987ff..3f510478132a95a1e479ae2a18577d23255178b6 100644 --- a/simulators/c++2/src_simulator/sim/Simulator.cpp +++ b/simulators/c++2/src_simulator/sim/Simulator.cpp @@ -574,6 +574,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" + "-gname ofile name of the file WITHOUT extension storing the reachability graph\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" @@ -602,7 +603,7 @@ ServerIF* Simulator::run(int iLen, char ** iArgs){ std::string aArgString; std::string graphName = ""; std::cout << "Starting up...\n"; - graphName = getArgs("-graphName", "", iLen, iArgs); + graphName = getArgs("-gname", "", iLen, iArgs); if (graphName.empty()) { graphName = "graph"; }