def test_priority(self):
path = 'tests/input/priority'
file_list = os.listdir(path)
for filename in file_list:
with open('tests/output/out_{}'.format(filename), 'r') as fd:
out = fd.read()
# print(filename)
self.assertEqual(
backward_chaining_solver.treat_entry('{}/{}'.format(
path, filename)), out)
def test_imply(self):
path = 'tests/input/imply'
file_list = os.listdir(path)
for filename in file_list:
# print(filename)
if filename in ['imply_0.txt', 'imply_1.txt', 'imply_2.txt']:
with open('tests/output/out_{}'.format(filename), 'r') as fd:
expected_out = fd.read()
with ListStream() as print_list:
Parser('{}/{}'.format(path, filename)).parse_file()
out = "".join(print_list.data)
self.assertEqual(out, expected_out)
else:
with open('tests/output/out_{}'.format(filename), 'r') as fd:
out = fd.read()
self.assertEqual(
backward_chaining_solver.treat_entry('{}/{}'.format(
path, filename)), out)
