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

Streamlining the transfer tutorial #95

Merged
merged 11 commits into from
Aug 25, 2022

Conversation

ivan-gavran
Copy link
Collaborator

@ivan-gavran ivan-gavran commented Aug 22, 2022

This is a work-in-progress PR. Opening as a draft, because there will be a need for discussing which path to take before the work is finished.

Closes: #92
Rendered file: transfer.md

@ivan-gavran ivan-gavran added the user support Improvements or additions to documentation or learning materials label Aug 22, 2022
@ivan-gavran ivan-gavran added this to the Atomkraft prototype milestone Aug 22, 2022
@ivan-gavran ivan-gavran self-assigned this Aug 22, 2022
gas_adjustment=0.1,
)
```
atomkraft test trace --trace traces/violation1.itf.json --reactor reactors/reactor.py --keypath action.tag
Copy link
Collaborator Author

Choose a reason for hiding this comment

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

This will only work if the suggestion from Modelator issue 252 is accepted.

Working with other chains is possible too, by installing them and then invoking:

```
atomkraft chain config chain_id <name_of_the_chain>
Copy link
Collaborator Author

Choose a reason for hiding this comment

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

This can be simplified once #97 is ready

@ivan-gavran
Copy link
Collaborator Author

If you are going through the tutorial executing documents, you will run into one trouble before merging: since the transfer.tla is downloaded from the dev branch, it will not take into account changes introduced in this PR. Simply modify the file to include a predicate named Ex, for examples add Ex == step > 3

@ivan-gavran ivan-gavran marked this pull request as ready for review August 24, 2022 12:02
@ivan-gavran ivan-gavran merged commit ccbe721 into dev Aug 25, 2022
@ivan-gavran ivan-gavran deleted the ivan/transfer-tutorial-improvements branch August 25, 2022 15:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
user support Improvements or additions to documentation or learning materials
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Improve the transfer tutorial
2 participants