# -*- 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()