Skip to content

Commit

Permalink
Update demo link in top-level README
Browse files Browse the repository at this point in the history
  • Loading branch information
Mark R. Tuttle committed Nov 18, 2022
1 parent e5bf195 commit c0efd15
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 @@ -34,7 +34,7 @@ loads the json summaries produced by CBMC Viewer,
and lets a developer explore the error traces produced by CBMC using
the Visual Studio Code's debugger.

The [user guide]() includes a [simple demonstration]() of the debugger.
The [user guide](https://model-checking.github.io/cbmc-proof-debugger/user-guide) includes a [simple demonstration](https://model-checking.github.io/cbmc-proof-debugger/demo) of the debugger.

## Security

Expand Down

0 comments on commit c0efd15

Please sign in to comment.