def report_incomplete_statements(): global report_path report_fp = open(report_path, 'w') report_fp.write('Statement Coverage Report:\n') report_fp.write('(Showing only registers which not covered)') local_statement_list = stm_main.get_statement_list() for statement in local_statement_list: if (statement.completed == 0): incomplete_string = "Statement: " + "\"" + statement.name + "\"" + " not covered\n" report_fp.write(incomplete_string) report_fp.close()
def report_incomplete_statements(): global report_path report_fp=open(report_path,'w') report_fp.write('Statement Coverage Report:\n') report_fp.write('(Showing only registers which not covered)') local_statement_list=stm_main.get_statement_list() for statement in local_statement_list: if(statement.completed==0): incomplete_string="Statement: "+"\""+statement.name+"\""+" not covered\n" report_fp.write(incomplete_string); report_fp.close()
def report_incomplete_statements(): global report_path report_fp = open(report_path, 'w') report_fp.write('Statement Coverage Report:\n') report_fp.write('(Showing only registers which not covered)') local_statement_list = stm_main.get_statement_list() for statement in local_statement_list: if (statement.completed == 0): incomplete_string = "Statement: " + "\"" + statement.name + "\"" + " not covered\n" report_fp.write(incomplete_string) report_fp.close() # Execution of main if __name__ == "__main__": stm_main.init_stmt_constraints() local_statement_list = stm_main.get_statement_list() for statement in local_statement_list: if (statement.executed == 0): path = execution_header.PATH() execute_statement(path, statement) #Reporting #Which statements not able to cover report_incomplete_statements()
global report_path report_fp=open(report_path,'w') report_fp.write('Statement Coverage Report:\n') report_fp.write('(Showing only registers which not covered)') local_statement_list=stm_main.get_statement_list() for statement in local_statement_list: if(statement.completed==0): incomplete_string="Statement: "+"\""+statement.name+"\""+" not covered\n" report_fp.write(incomplete_string); report_fp.close() # Execution of main if __name__ == "__main__": stm_main.init_stmt_constraints() local_statement_list=stm_main.get_statement_list() for statement in local_statement_list: if(statement.executed==0): path=execution_header.PATH() execute_statement(path,statement) #Reporting #Which statements not able to cover report_incomplete_statements()