Finding the examples

[PeterSewell]

On https://rems-project.github.io/cn-tutorial/ it looks like I should be able to click on "Basic Usage" and get started, but https://rems-project.github.io/cn-tutorial/getting-started/tutorials/basic-usage/ doesn't let me find the examples directory.

Perhaps that just needs to point to https://github.com/rems-project/cn-tutorial/tree/main/src/examples - or do they need processing first?

Indeed, if I just run CN on the raw add_0.c from there, it doesn't match what the tutorial says will happen.

[ZippeyKeys12]

It's at https://rems-project.github.io/cn-tutorial/getting-started/tutorials/

[PeterSewell]

Then that needs to be replicated in https://rems-project.github.io/cn-tutorial/getting-started/tutorials/basic-usage/ , if we're linking to that from the top. And it probably needs a few more words to tie that to the first command cn verify exercises/add_0.c.