Skip to content

Commit

Permalink
xwhile_lemma -> wp_while
Browse files Browse the repository at this point in the history
  • Loading branch information
@zqy1018
zqy1018 committed Mar 11, 2024
1 parent 388edb3 commit 4f16e12
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@ Rule for for-loops:
- For: `wp_for` in `lib/seplog/LibWP.v`

Rule for while-loops:
- While: `xwhile_lemma` in `lib/seplog/LibLoops.v`
- While: `wp_while` in `lib/seplog/LibWP.v`

### Important Results

Expand Down

0 comments on commit 4f16e12

Please sign in to comment.