# -*- coding: utf-8 -*- from comptests.registrar import run_module_tests, comptest from mcdp_docs.github_edit_links import org_repo_from_url @comptest def test_parsing(): url = '[email protected]:duckietown/duckuments.git' org, repo = org_repo_from_url(url) assert org == 'duckietown' assert repo == 'duckuments' if __name__ == '__main__': run_module_tests()
assert False @comptest_fails def check_poset_bottom_checks(): s = """ poset { a >= b a <= b } """ try: parse_poset(s) assert False, 'Should have detected the inconsistency' except DPSemanticError as e: print str(e) return if __name__ == '__main__': run_module_tests()