def _filter_tuples(self, depth):
white_list = '%s/%s' % (self.folder, config.white_list_file())
tuples_output = '%s/%s/%s' % (self.folder, config.tuples_dir(), config.tuples_output_file())
depths_csv = '%s/%s/%s' % (self.folder, config.tuples_dir(), config.tuples_depths_file())
tuples_final = '%s/%s' % (self.folder, config.tuples_final_file())
hit_rates = '%s/hit_rates_%d.txt' % (self.folder, depth)
min_hit_rate = 0.5
running = 'java -cp %s cpb.RefineCandidateMethods %d %f %s %s %s %s %s' % (commons.scala_libs(), depth, min_hit_rate, tuples_output, depths_csv, tuples_final, hit_rates, white_list)
self._create_filter_depths_trace()
subprocess.call(shlex.split(str(running)))
def _filter_tuples(self, depth):
white_list = '%s/%s' % (self.folder, config.white_list_file())
tuples_output = '%s/%s/%s' % (self.folder, config.tuples_dir(),
config.tuples_output_file())
depths_csv = '%s/%s/%s' % (self.folder, config.tuples_dir(),
config.tuples_depths_file())
tuples_final = '%s/%s' % (self.folder, config.tuples_final_file())
hit_rates = '%s/hit_rates_%d.txt' % (self.folder, depth)
min_hit_rate = 0.5
running = 'java -cp %s cpb.RefineCandidateMethods %d %f %s %s %s %s %s' % (
commons.scala_libs(), depth, min_hit_rate, tuples_output,
depths_csv, tuples_final, hit_rates, white_list)
self._create_filter_depths_trace()
subprocess.call(shlex.split(str(running)))
def _ranking(self, cluster):
#
if cluster == True:
options_cluster = ['0.01', '0.5', 'true']
else:
options_cluster = ['0.01', '0.5', 'false']
#
time_stats_file = '%s/%s/stats.txt' % (self.folder, config.time_dir())
time_total_file = '%s/%s/%s' % (self.folder, config.time_dir(), config.time_total_file())
time_profile_file = '%s/%s/%s' % (self.folder, config.time_dir(), config.time_profile_file())
tuples_file = '%s/%s' % (self.folder, config.tuples_final_file())
#
call_graph_file = '%s/%s/%s/call_graph.bin' % (commons.callgraphs_path(), self.program.path, self.program.prefix)
#
running = 'java -cp %s cpb.RankAndInspect %s %s %s %s %s %s' % (commons.scala_libs(), self.program.prefix, time_stats_file, time_total_file, tuples_file, call_graph_file, time_profile_file)
subprocess.call(shlex.split(str(running)) + options_cluster)
def _ranking(self, cluster):
#
if cluster == True:
options_cluster = ['0.01', '0.5', 'true']
else:
options_cluster = ['0.01', '0.5', 'false']
#
time_stats_file = '%s/%s/stats.txt' % (self.folder, config.time_dir())
time_total_file = '%s/%s/%s' % (self.folder, config.time_dir(),
config.time_total_file())
time_profile_file = '%s/%s/%s' % (self.folder, config.time_dir(),
config.time_profile_file())
tuples_file = '%s/%s' % (self.folder, config.tuples_final_file())
#
call_graph_file = '%s/%s/%s/call_graph.bin' % (
commons.callgraphs_path(), self.program.path, self.program.prefix)
#
running = 'java -cp %s cpb.RankAndInspect %s %s %s %s %s %s' % (
commons.scala_libs(), self.program.prefix, time_stats_file,
time_total_file, tuples_file, call_graph_file, time_profile_file)
subprocess.call(shlex.split(str(running)) + options_cluster)
