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)