Skip to content

Commit

Permalink
clarify
Browse files Browse the repository at this point in the history
  • Loading branch information
utaal committed Aug 21, 2024
1 parent f9c1f4b commit 98601a3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion site/guide.md
Original file line number Diff line number Diff line change
Expand Up @@ -174,7 +174,7 @@ The `linked-list-memory-reasoning.pdf` plot corresponds to Figure 6b, and `doubl

The `error-times-1.pdf` and `error-times-2.pdf` plots correspond to Figure 7.

Then clean up the Why 3 sessions that are modified when replaying Creusot proofs, as follows.
Again on the CloudLab machine, complete this step by cleaning up the Why 3 sessions that are modified when replaying Creusot proofs, as follows.

```shell
cd /mydata/verus-sosp24-artifact/milli
Expand Down

0 comments on commit 98601a3

Please sign in to comment.