def binarize_instance(i_name):
with utils.time_that(blue("data loaded for " + i_name + " in {elapsed}")):
print(blue("loading data for {}".format(i_name)))
update_ed_db(i_name)
if i_name in env.excluded_instances:
print(blue("NOTICE: i_name {} has been excluded, skiping it".format(i_name)))
else:
launch_rebinarization(i_name, True)
def binarize_instance(i_name):
with time_that(blue("Binarization of " + i_name + " completed in {elapsed}")):
if i_name in env.excluded_instances:
print(blue("NOTICE: instance {} has been excluded, skipping it".format(i_name)))
instances2process.remove(i_name)
elif launch_rebinarization(i_name, True):
# remove instance only if bina succeeds
instances2process.remove(i_name)
# print instances not yet binarized, this allows to easily resume the binarization
# process in case of crash or freeze (use include:x,y,z,....)
# see http://jira.canaltp.fr/browse/DEVOP-408
print(blue("Instances left: {}".format(','.join(instances2process))))
def binarize_instance(i_name):
with time_that(blue("data loaded for " + i_name +
" in {elapsed}")):
print(blue("loading data for {}".format(i_name)))
update_ed_db(i_name)
if i_name in env.excluded_instances:
print(
blue("NOTICE: i_name {} has been excluded, skiping it".
format(i_name)))
else:
launch_rebinarization(i_name, True)
def binarize_instance(i_name):
with time_that(blue("Binarization of " + i_name + " completed in {elapsed}")):
if i_name in env.excluded_instances:
print(blue("NOTICE: instance {} has been excluded, skipping it".format(i_name)))
instance2remove.add(i_name)
elif launch_rebinarization(i_name, True):
# remove instance only if bina succeeds
instance2remove.add(i_name)
# print instances not yet binarized, this allows to easily resume the binarization
# process in case of crash or freeze (use include:x,y,z,....)
# see http://jira.canaltp.fr/browse/DEVOP-408
print(blue("Instances left: {}".format(','.join(instances2process - instance2remove))))
def binarize_instance(i_name):
with time_that(blue("data loaded for " + i_name + " in {elapsed}")):
print(blue("loading data for {}".format(i_name)))
update_ed_db(i_name)
if i_name in env.excluded_instances:
print(blue("NOTICE: i_name {} has been excluded, skiping it".format(i_name)))
else:
launch_rebinarization(i_name, True)
instances2process.remove(i_name)
# print instances not yet binarized, this allows to easily resume the binarization
# process in case of crash or freeze (use include:y,y,z,....)
# see http://jira.canaltp.fr/browse/DEVOP-408
print(blue("Instances left: {}".format(','.join(instances2process))))
