Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@susliko
susliko authored May 3, 2020
1 parent 2ba12fb commit 0b33c56
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,11 @@

A library for testing concurrent data structures that you lacked!

*Lotos* aims to provide a simple DSL for specs description and various consistency model checkers.
*Lotos* aims to provide:
1. Simple DSL for specifications
2. Configurable generator of test scenarios
3. Various consistency model checkers
4. Verbose consistency violation reports

# Quick example

Expand Down

0 comments on commit 0b33c56

Please sign in to comment.