static void make_command_line(/*@notnull@*/ test_runner * runner) /*@modifies runner->buffer @*/ { SAFE_SPRINTF( SAFE_ARRAY(runner->buffer), "%s %u %u > %s 2> %s", runner->file_path, (unsigned int)runner->suite_number, (unsigned int)runner->test_number, runner->out, runner->err ); }
static void open_report(/*@notnull@*/ test_runner * runner) /*@globals fileSystem, internalState @*/ /*@modifies fileSystem, internalState, runner->buffer @*/ { SAFE_SPRINTF(SAFE_ARRAY(runner->buffer), PLATFORM_OPEN_REPORT, runner->report); (void)system(runner->buffer); }
static void open_report(/*@notnull@*/ test_runner * runner) /*@globals fileSystem, internalState @*/ /*@modifies fileSystem, internalState, runner->buffer @*/ { SAFE_SPRINTF(SAFE_ARRAY(runner->buffer), PLATFORM_OPEN_REPORT, runner->report); if( system(runner->buffer) == -1 ){ fprintf(stderr, "\nCould not open report: %s\n", runner->report); } }
int CSkillTableMap::GetID(int index) { if(!SAFE_ARRAY(index)) return -1; return m_SkillList[index]; }