Example #1
0
	def initialize_random_testing(self, name, random_type, randgen_params): 
		self.randomness = random_type; 
		self.testing = DFAT.dfa_tests(name); 
		self.testing.setup_randgen_bin(randgen_params.randgen_length, \
			randgen_params.randgen_bias, randgen_params.randgen_num_tests, \
			randgen_params.randgen_default_score); 
		self.testing.random_test_cases(self.dfaread_names);
Example #2
0
	def initialize_prescribed_testing(self, name): 
		self.randomness = 0; 
		self.testing = DFAT.dfa_tests(name); 
		if (self.test_dir_set): 
			self.testing.set_test_directory(self.test_dir); 
		else: 
			self.err_dfav("DIRECTORY FOMAT INCORRECT:", self.test_dir);
		self.testing.read_test_files(); 
		self.testing.show_tests();