- if (!strncmp(options[0], "-timeout=", length) && strlen(options[0]) > length) {
- timeout = (int)xbt_str_parse_int(options[0] + length, "Invalid timeout parameter: %s");
- XBT_DEBUG("Set timeout to %d", timeout);
- } else {
- xbt_die("Invalid pastry option '%s'", options[0]);
- }
+ xbt_assert(strncmp(options[0], "-timeout=", length) == 0 && strlen(options[0]) > length,
+ "Invalid pastry option '%s'", options[0]);
+ timeout = (int)xbt_str_parse_int(options[0] + length, "Invalid timeout parameter");
+ XBT_DEBUG("Set timeout to %d", timeout);