def __init__(self, cfr, module, solver, metrics_variables, metrics_objective_direction): self.cfr = cfr self.module = module self.solvers = replicateSolver(solver, Options.CORES) self.metrics_variables = metrics_variables self.metrics_objective_direction = metrics_objective_direction self.clock = Clock() self.consumerConstraints = self.splitter()
def __init__(self, task_queue, result_queue, cfr, timeQueue, index, outputFileParentName, num_consumers, s, consumerConstraints): multiprocessing.Process.__init__(self) self.task_queue = task_queue self.result_queue = result_queue self.timeQueue = timeQueue self.cfr = cfr self.solver = s self.consumerConstraints = consumerConstraints self.index = index self.num_consumers = num_consumers self.clock = Clock()
def __init__(self, fenetre, COMport): self.logger = logging.getLogger("socket") self.mode = 'remote' # on memorise la fenetre associée à ce compteur self.fenetre = fenetre # initialisation du port COM self.vtr = protocoleVTR(COMport) # initialisation de la machine à état self.state = StateMachine('stopped') # initialisation de l'horloge self.clock = Clock() self.clock.initCounterWithSeconds(0) self.logger.info( "interfaceVTR {ver}: Starting".format(ver=self.current_version))
def run(): ''' Runs the Z3-translator on each pair (file, numInstances) in tests, and ensures that the number of generated models equals numInstances. ''' clock = Clock() tests = getTestSet() num_passed = 0 exceptions = 0 exception_list = [] failed_list = [] temp_model_count = Options.NUM_INSTANCES for t in tests: (file, expected_model_count) = t try: if expected_model_count == Options.INFINITE and Options.NUM_INSTANCES < 0: #will change it back after the test runs Options.NUM_INSTANCES = 5 module = file.getModule() print_separate("Attempting: " + str(file.__name__)) clock.tick("Total Z3 Run Time") cfr = ClaferModel(module) actual_model_count = cfr.run() clock.tack("Total Z3 Run Time") clock = clock.combineClocks(cfr.clock) if(expected_model_count == actual_model_count or (expected_model_count == Options.INFINITE and actual_model_count == Options.NUM_INSTANCES)): print("PASSED: " + str(file.__name__)) num_passed = num_passed + 1 else: failed_list.append(str(file.__name__)) print("FAILED: " + str(file.__name__) + " " + str(expected_model_count) + " " + str(actual_model_count)) except: print("FAILED: " + str(file.__name__) + " " + "\nException raised.") traceback.print_exc() exception_list.append(str(file.__name__)) exceptions = exceptions + 1 Options.NUM_INSTANCES = temp_model_count print_separate("Results: " + str(num_passed) + "/" + str(len(tests)) + "\n| " + "Failed List: " + str(failed_list) + "\n| " + "Exceptions: " + str(exceptions) + "/" + str(len(tests)) + "\n| " + "Exception List: " + str(exception_list)) clock.printEvents()
def __init__(self, task_queue, result_queue, cfr, timeQueue, index, outputFileParentName, num_consumers, s, metrics_variables, metrics_objective_direction, consumerConstraints): multiprocessing.Process.__init__(self) self.task_queue = task_queue self.result_queue = result_queue self.timeQueue = timeQueue self.cfr = cfr self.solver = s self.consumerConstraints = consumerConstraints self.index = index self.num_consumers = num_consumers self.ParetoFront = [] self.clock = Clock() self.GIAOptions = GuidedImprovementAlgorithmOptions(verbosity=0, \ incrementallyWriteLog=False, \ writeTotalTimeFilename="timefile.csv", \ writeRandomSeedsFilename="randomseed.csv", useCallLogs=False) self.GIAAlgorithm = GuidedImprovementAlgorithm(self.cfr, self.solver, metrics_variables, \ metrics_objective_direction, [], options=self.GIAOptions)