7 #include "core/Arguments.h" 8 #include "core/LongOptions.h" 9 #include "core/Command.h" 10 #include "system/signal_handler.h" 11 #include "system/debug.h" 12 #include "controller/AbstractController.h" 14 #include "SerialMaster.h" 20 R
"(* Help message for 'serial' master * 23 When using a serial master, pakman executes simulations sequentially. It is 24 assumed that the simulator is a standard simulator, which means that it 25 communicates with pakman through its stdin and stdout. 42 std::shared_ptr<AbstractController>
46 std::make_shared<SerialMaster>(p_controller->getSimulator(),
50 p_master->assignController(p_controller);
51 p_controller->assignMaster(p_master);
54 while (p_master->isActive())
static void run(controller_t controller, const Arguments &args)
bool g_program_terminated
static void addLongOptions(LongOptions &lopts)
static std::string help()
static AbstractController * makeController(controller_t controller, const Arguments &args)