ClemsonRSRG/RESOLVE — pull request #117 by yushan87 (2014-04-14 18:01:14+00:00)
Title: Verifier Patch

Verifier now locates the right modules and ignores any externally realized realizations