int runtestcase(const char *name); // NOLINT