model: push mo_graph cycle check into release_seq code
authorBrian Norris <banorris@uci.edu>
Thu, 27 Sep 2012 17:53:59 +0000 (10:53 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 27 Sep 2012 17:53:59 +0000 (10:53 -0700)
commit3323cca9507640ddc9e38cf93c2e737ca2df9fd7
treeb924d34bee2cedd8ea91ad21f122ee76b723f804
parenta3f3df022fdfd22dd6a8e877610b4b82281926fd
model: push mo_graph cycle check into release_seq code

Release sequences traveral should only be undertaken if the mo_graph has
no cycles. Instead of just making this check a hack within
resolve_promises(), make it part of every release sequence exploration.
model.cc