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)
