test(dafny): beacon partition tests#2199
Conversation
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
josecorella
changed the title
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
|
@josecorella and @josecorella, I noticed you are updating the smithy model files. |
|
@josecorella and @josecorella, I noticed you are updating the smithy model files. |
|
@josecorella and @josecorella, I noticed you are updating the smithy model files. |
|
@josecorella and @josecorella, I noticed you are updating the smithy model files. |
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
| src1 | ||
| ); | ||
| expect res1.Failure?; | ||
| expect_equal(res1.error, E("Constrained numberOfPartitions for std2 is 5 but it must be less than the maximumNumberOfPartitions 5")); |
There was a problem hiding this comment.
nit: double space
| expect_equal(res1.error, E("Constrained numberOfPartitions for std2 is 5 but it must be less than the maximumNumberOfPartitions 5")); | |
| expect_equal(res1.error, E("Constrained numberOfPartitions for std2 is 5 but it must be less than the maximumNumberOfPartitions 5")); |
|
@josecorella and @rishav-karanjit, I noticed you are updating the smithy model files. |
2 participants
Issue #, if available:
Description of changes:
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.