def test_testcase4(self): ia_rep_spec = read_si("./testcase_examples/testcase4_imp.si") ia_rep_imp = read_si("./testcase_examples/testcase4_imp.si") ia_spec = ia_parser(ia_rep_spec) ia_imp = ia_parser(ia_rep_imp) ia_spec_tree = ia_parser_to_tree(ia_spec) ia_imp_tree = ia_parser_to_tree(ia_imp) self.assertTrue(ia_imp_tree.io_conform(ia_spec_tree), msg="io not conform")
def test_testcase1(self): ia_rep = parserlib.read_si("../testcase_examples/testcase1.si") ia = parserlib.ia_parser(ia_rep) self.assertEqual(True, True)