Basic verification architecture added.

This commit is contained in:
Aaron Tan
2016-10-24 17:32:30 -04:00
parent 6cc2dec7c7
commit 88025d0733
3 changed files with 36 additions and 0 deletions

View File

@@ -138,3 +138,6 @@ class SimpleDAG(object):
roots.append(n)
return roots
# TODO
def cycle_detected(self):
return False