Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fixed spec verification to accept extra profiles (#441)
* fixed spec verification to pass if more profiles are running * Merge branch 'master' into milad/fix-spec-extra-profile * removed unused function * Merge branch 'master' into milad/fix-spec-extra-profile
- Loading branch information