Skip to content

Commit

Permalink
update readme
Browse files Browse the repository at this point in the history
  • Loading branch information
@ybbh
ybbh committed May 27, 2024
1 parent 7208935 commit 4bc92ef
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions doc/how_to_start.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,9 +7,8 @@ you need to configure the [TLA+ toolbox](https://lamport.azurewebsites.net/tla/t

Follow these steps to set it up:

1.
Download the [SedeveModules jar](https://github.com/scuptio/SedeveModules/releases)
We developed TLA+ modules
1. Download the [SedeveModules jar](https://github.com/scuptio/SedeveModules/releases).
We developed TLA+ modules
[StateDB](https://github.com/scuptio/SedeveModules/blob/master/modules/StateDB.tla),
[GenID](https://github.com/scuptio/SedeveModules/blob/master/modules/GenID.tla) .

Expand Down Expand Up @@ -87,7 +86,6 @@ Our framework incorporates various macros to facilitate the implementation of *a
that verify the coherence between our source-level implementation and abstract-level design.



### Implement the Rust code

### Add assert invariants to the testing source code
Expand Down

0 comments on commit 4bc92ef

Please sign in to comment.