Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename Verification cases to use 'verification' rather than 'validation' #34

Merged
merged 1 commit into from
Oct 25, 2022

Conversation

simopier
Copy link
Collaborator

The current documentation and file names list verification cases as validation cases. This PR changes that for relevant cases.

This PR therefore does not add any new feature/V&V cases, only renames existing cases and updates the documentation.
(Ref. #12)

Copy link
Member

@cticenhour cticenhour left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please remove the merge commits from the main branch by rebasing on devel 😄

@simopier
Copy link
Collaborator Author

@singhgp4321 this is the PR we had talked about to call verification cases what they are rather than validation cases.

@simopier simopier requested a review from singhgp4321 October 25, 2022 03:43
The current documentation and file naming list verification cases as validation cases. This PR changes that for relevant cases.
This PR therefore does not add any new feature/V&V cases, only renames existing cases and updates the documentation.
(Ref. #12)
@moosebuild
Copy link

moosebuild commented Oct 25, 2022

Job Documentation on 94af93a wanted to post the following:

View the site here

This comment will be updated on new commits.

@cticenhour
Copy link
Member

@simopier I approve this, but since you requested review from @singhgp4321 I will leave it to him to merge in case he has any comments.

@singhgp4321 singhgp4321 merged commit 8ad60b8 into devel Oct 25, 2022
@singhgp4321
Copy link
Collaborator

Looks good to me.

@cticenhour cticenhour deleted the VV_naming_cleanup branch December 13, 2022 23:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants