#include <stdio.h>
#include "smpi/smpi.h"
-int main(int argc, char *argv[])
-{
+int main(int argc, char *argv[]) {
smpi_replay_init(&argc, &argv);
-
- /* Actually do the simulation using smpi_action_trace_run */
- smpi_action_trace_run(NULL);
smpi_replay_finalize();
-
return 0;
}