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()
