def search_done(self):
sinfo = static_info.StaticInfo()
sinfo.load(self.controller.knobs['sinfo_out'])
prog = program.Program(sinfo)
prog.load(self.controller.knobs['program_out'])
search_info = search.SearchInfo(sinfo, program)
search_info.load(self.controller.knobs['search_out'])
return search_info.done()
def verify(controller, testcase):
sinfo = static_info.StaticInfo()
sinfo.load(controller.knobs['sinfo_out'])
prog = program.Program(sinfo)
prog.load(controller.knobs['program_out'])
search_info = search.SearchInfo(sinfo, prog)
search_info.load(controller.knobs['search_out'])
if search_info.num_runs() != 6:
return False
return True
def verify(controller, testcase):
sinfo = static_info.StaticInfo()
sinfo.load(controller.knobs['sinfo_out'])
prog = program.Program(sinfo)
prog.load(controller.knobs['program_out'])
search_info = search.SearchInfo(sinfo, prog)
search_info.load(controller.knobs['search_out'])
if search_info.num_nodes() != 15:
return False
if search_info.find_node(10).num_enabled() != 2:
return False
return True
def verify(controller, testcase):
sinfo = static_info.StaticInfo()
sinfo.load(controller.knobs['sinfo_out'])
prog = program.Program(sinfo)
prog.load(controller.knobs['program_out'])
search_info = search.SearchInfo(sinfo, prog)
search_info.load(controller.knobs['search_out'])
if search_info.num_runs() != 19:
return False
por_files = os.listdir(controller.knobs['por_info_path'])
if len(por_files) != 2:
return False
return True