ClemsonRSRG/RESOLVE — pull request #7 by yushan87 (2012-09-25 16:11:34+00:00)
Title: Fixes for the Verifier

facility dec now checks if concept realization or enhancement realization have requires clauses and generate the appropriate VCs