def run_tests(self): is_input_consistent_str = 'consistent' if not self.is_input_consistent: is_input_consistent_str = 'in' + is_input_consistent_str print 'Start testing for %s input...\n' % is_input_consistent_str for dimension in self.dimensions: random_no_points_per_axis = np.random.randint(2, 12, dimension).tolist() no_points_per_axis = ' '.join( [str(no) for no in random_no_points_per_axis]) no_points_per_axis_display = ', '.join( [str(no) for no in random_no_points_per_axis]) print ' Testing for dimension %d with [%s] points on axis...' % \ (dimension, no_points_per_axis_display) for epsilon in self.epsilons: print ' Testing for epsilon: ', epsilon for from_poly in [True, False]: input_gen = InputGenerator(PATH_TO_FILE, self.is_input_consistent, dimension, no_points_per_axis, rand_points_axis=True, from_poly=from_poly, eps=epsilon) input_gen.generate_test_file() # Silence the print statements to stdout. with Utils.nostdout(): cons = Consistency(PATH_TO_FILE, input_gen, False, False, True) result = cons.solve_LP_problem() if result is not self.is_input_consistent: raise RuntimeError( 'Counterexample found, aborting. See the file %s ' 'for details.' % PATH_TO_FILE) print '\n...Finished testing. No counterexamples found.\n'
def main(): (options, args) = command_line_arguments() validate_options(options) input_generator = None if options.gen_cons_input or options.gen_incons_input: input_generator = InputGenerator(options.input_file, options.gen_cons_input is not None, options.dimension, options.no_points_per_axis, options.rand_points_axis, options.from_poly, options.epsilon) input_generator.generate_test_file() cons = Consistency(options.input_file, input_generator, options.plot_surfaces, options.plot_rand_heights, options.verbose) # Run the LP algorithm to decide consistency. cons.solve_LP_problem()
def main(): (options, args) = command_line_arguments() validate_options(options) input_generator = None if options.gen_cons_input or options.gen_incons_input: input_generator = InputGenerator(options.input_file, options.gen_cons_input is not None, options.dimension, options.no_points_per_axis, options.rand_points_axis, options.from_poly, options.epsilon) input_generator.generate_test_file() cons = Consistency(options.input_file, input_generator, options.plot_surfaces, options.plot_rand_heights, options.verbose) # Run the LP algorithm to decide consistency. cons.solve_LP_problem()
def run_tests(self): is_input_consistent_str = 'consistent' if not self.is_input_consistent: is_input_consistent_str = 'in' + is_input_consistent_str print 'Start testing for %s input...\n' % is_input_consistent_str for dimension in self.dimensions: random_no_points_per_axis = np.random.randint(2, 12, dimension).tolist() no_points_per_axis = ' '.join([str(no) for no in random_no_points_per_axis]) no_points_per_axis_display = ', '.join([str(no) for no in random_no_points_per_axis]) print ' Testing for dimension %d with [%s] points on axis...' % \ (dimension, no_points_per_axis_display) for epsilon in self.epsilons: print ' Testing for epsilon: ', epsilon for from_poly in [True, False]: input_gen = InputGenerator(PATH_TO_FILE, self.is_input_consistent, dimension, no_points_per_axis, rand_points_axis=True, from_poly=from_poly, eps=epsilon) input_gen.generate_test_file() # Silence the print statements to stdout. with Utils.nostdout(): cons = Consistency(PATH_TO_FILE, input_gen, False, False, True) result = cons.solve_LP_problem() if result is not self.is_input_consistent: raise RuntimeError('Counterexample found, aborting. See the file %s ' 'for details.' % PATH_TO_FILE) print '\n...Finished testing. No counterexamples found.\n'