Skip to content

Commit

Permalink
format readme of new examples
Browse files Browse the repository at this point in the history
  • Loading branch information
gabrielegenovese committed Feb 3, 2025
1 parent df98204 commit afe90c5
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 5 deletions.
6 changes: 3 additions & 3 deletions examples/account/README.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Dining example
# Bank account example

## Use

Expand All @@ -10,8 +10,8 @@

Features:

- Show a deadlock
- Show a race condition (an execution that is read-read-set-set)

## Results

Good both LV and GV also with minimize.
Good both LV and GV.
4 changes: 2 additions & 2 deletions examples/dining/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@

Features:

- Show a deadlock
- Show a deadlock in red

## Results

Good both LV and GV also with minimize.
Good both LV and GV also with minimize.
2 changes: 2 additions & 0 deletions test.py
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,8 @@
# import time

test_list = [
("./examples/account/account.erl", "main/0", "examples/account", "true", "true"),
("./examples/dining/dining.erl", "main/0", "examples/dining", "true", "true"),
("./examples/hello/hello.erl", "main/0", "examples/hello", "true", "true"),
("./examples/async/simple.erl","main/0","examples/async", "true", "true"),
("./examples/ticktackstop/tictacstop.erl","start/0","examples/ticktackstop", "true", "true"),
Expand Down

0 comments on commit afe90c5

Please sign in to comment.