Update comments, variable names and assertions on transfer test #3569
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Hello
Description
I've been working a quint specification for ICS20 and, while writing a test based on the
transfer_test.go
test (progress here informalsystems/quint#874), I noticed some of the comments were outdated. Seems like the test was updated to include additional transfer steps, but the comments were not.This PR:
path
intopathAtoB
so it works best along with the existing variable namedpathBtoC
Commit Message / Changelog Entry
test: update comments, variable names and assertions on transfer test
Before we can merge this PR, please make sure that all the following items have been
checked off. If any of the checklist items are not applicable, please leave them but
write a little note why.
docs/
) or specification (x/<module>/spec/
).godoc
comments.Files changed
in the Github PR explorer.Codecov Report
in the comment section below once CI passes.