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

Negative test case for variant_count #854

Merged
merged 4 commits into from
Mar 1, 2022

Conversation

adpaco-aws
Copy link
Contributor

Description of changes:

Adds a negative test for the variant_count intrinsic. Can easily converted into a positive one when support is added.

Resolved issues:

Part of #727

Call-outs:

Testing:

  • How is this change tested? Adding another test.

  • Is this a refactor change? N/A

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • Methods or procedures are documented
  • Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@adpaco-aws adpaco-aws requested a review from a team as a code owner February 22, 2022 22:10
@celinval
Copy link
Contributor

Should we check what kind of error is given to the user?

@adpaco-aws
Copy link
Contributor Author

Should we check what kind of error is given to the user?

The test is intentionally written this way to avoid error checking and to enable a smooth transition into a positive test. This is a good candidate for the newer testing suite we were discussing, and I want to move all these negative tests into that suite once it is available. But we can move it to expected for now if this is a concern, I am just afraid I will lose track of them in there.

@celinval
Copy link
Contributor

Can you add the version without comments as a fixme test?

@adpaco-aws
Copy link
Contributor Author

@celinval just added the "fixme" test as requested and updated the negative one (removed commented out code to make it simpler).

Copy link
Contributor

@celinval celinval left a comment

Choose a reason for hiding this comment

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

Thanks!

@adpaco-aws adpaco-aws merged commit 0842d10 into model-checking:main Mar 1, 2022
@adpaco-aws adpaco-aws mentioned this pull request Mar 1, 2022
tedinski pushed a commit to tedinski/rmc that referenced this pull request Apr 22, 2022
* Negative test case for `variant_count`

* Add "fixme" test and update negative test

Co-authored-by: Celina G. Val <celinval@amazon.com>
tedinski pushed a commit to tedinski/rmc that referenced this pull request Apr 25, 2022
* Negative test case for `variant_count`

* Add "fixme" test and update negative test

Co-authored-by: Celina G. Val <celinval@amazon.com>
tedinski pushed a commit to tedinski/rmc that referenced this pull request Apr 26, 2022
* Negative test case for `variant_count`

* Add "fixme" test and update negative test

Co-authored-by: Celina G. Val <celinval@amazon.com>
tedinski pushed a commit that referenced this pull request Apr 27, 2022
* Negative test case for `variant_count`

* Add "fixme" test and update negative test

Co-authored-by: Celina G. Val <celinval@amazon.com>
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.

3 participants