Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-09-11 07:15:45 +03:00
Code Issues Projects Releases Wiki Activity

Add run instruction

Browse Source
This commit is contained in:
Victor Maia 2022-07-13 23:57:15 -03:00
parent a161704986
commit 1ee09c0b2b
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -17,3 +17,9 @@ cargo install --path .
``` ```
kind2 check example.kind2 kind2 check example.kind2
``` ```
3. Check a Kind2 file:
```
kind2 run example.kind2
```