+ XBT_INFO("Behavior: printf");
+ behavior = Behavior::PRINTF;
+ } else if (strcmp(argv[1], "segv") == 0) {
+ XBT_INFO("Behavior: segv");
+ behavior = Behavior::SEGV;
+ } else {
+ xbt_die("Please use either 'abort', 'assert', 'printf', or 'segv' as first parameter,"
+ " to specify what to do when the error is found.");