Fork, Commit, Merge - Easy Issue (TLA+) #182
Labels
easy
first-contributor
first-contributors
good first issue
Good for newcomers
help wanted
Extra attention is needed
tla+
Fork, Commit, Merge - Easy Issue (TLA+)
Specify a Simple Counter
Note: You don't have ask permission to start solving the issue or get assigned, since these issues are supposed to be always open for new contributors. The actions-user bot will reset the file back to previous state for the next contributor after your commit is merged. So you can just simply start working with the issue right away!
Objective:
Your task is to design a TLA+ specification for a simple counter. The counter should start at 0 and have the ability to increment and decrement, but it should never go below 0.
Acceptance Criteria:
How to get started:
You can create the counter inside VS Code.
Open up the
counter.tla
file inside oftasks/tla+/easy
directory and start implementing your solution!How to test the solution
You can use the default name for the model and just click OK.
This will run the check and you will see the output in the console.
You should see something like this:
Main thing is that there are no errors to be found. If your output looks like all of the operators are working just fine, you are ready to make a pull request!
To work with this issue, you need to have TLA+ Toolbox installed to your local machine.
Check out README.md for more instructions of installing TLA+ Toolbox and how to make a pull request.
Feel free to ask any questions here if you have some problems!
Also, kindly give this project a star to enhance its visibility for new developers!
The text was updated successfully, but these errors were encountered: