def test_for_whatsapp_test_2(self): # global inference.visited_facts # global inference.counter self.InputFileName = "Testcases/whatsapp_test_2.txt" self.OutputFileName = "output.txt" self.input_file_handle = open(self.InputFileName, "r") self.output_file_handle = open(self.OutputFileName, "w") # output_file_handle = open('output.txt','w') queries, KB = inference.read_logic_data(self.input_file_handle) for query in queries: try: result = "TRUE\n" if (len(list(inference.bc_ask(KB, query))) > 0) else "FALSE\n" except RuntimeError: # Hack to handle infinite loop in var names alone result = "FALSE\n" self.output_file_handle.write(result) inference.visited_facts = list() inference.counter = 0 self.output_file_handle.close() self.input_file_handle.close()
def test_for_input_sent_by_TA(self): # global inference.visited_facts # global inference.counter self.InputFileName = "Testcases/TA_test_1.txt" self.OutputFileName = "output.txt" self.input_file_handle = open(self.InputFileName, "r") self.output_file_handle = open(self.OutputFileName, "w") # output_file_handle = open('output.txt','w') queries, KB = inference.read_logic_data(self.input_file_handle) for query in queries: try: result = "TRUE\n" if (len(list(inference.bc_ask(KB, query))) > 0) else "FALSE\n" except RuntimeError: # Hack to handle infinite loop in var names alone result = "FALSE\n" self.output_file_handle.write(result) inference.visited_facts = list() inference.counter = 0 self.output_file_handle.close() self.input_file_handle.close() self.assertEqual(os.system("diff output.txt Testcases/correct_output_for_TA_test_1.txt"), 0)