ClemsonRSRG/RESOLVE — pull request #3 by yushan87 (2012-09-07 18:10:53+00:00)
Title: Added requires clause for Facilities

Now you can add requires clauses to facilities. They don't generate new VCs to prove at this stage.