From 3feb4147ab885ffbd330db63ea52967fa7f2fa67 Mon Sep 17 00:00:00 2001 From: Mike Dodds Date: Tue, 4 Jun 2024 15:22:33 -0700 Subject: [PATCH 1/2] Update top-level README.md to point to the example archive --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index ebf61cea..7005f330 100644 --- a/README.md +++ b/README.md @@ -5,3 +5,7 @@ In order to build the tutorial, you will first need to install [asciidoctor](htt Run `make` to produce `build/tutorial.html` and its dependencies: especially, `build/exercises/*.c` and `build/solutions/*c`. Run `./check.sh` to check that all examples have working solutions (except tests with names `*.error.c`, which are expected to fail). Note that this step will not work until after you have installed CN, which is the first part of the tutorial. + +## CN Example Archive + +The subdirectory `src/example-archive` includes many more examples of CN proofs, both working and broken. See [the README](./src/example-archive/README.md) for a description how these examples are organized and instructions for running CN on them. From 5afb362a9d149003f8763d2930614c0999055cb3 Mon Sep 17 00:00:00 2001 From: Mike Dodds Date: Tue, 4 Jun 2024 17:34:53 -0700 Subject: [PATCH 2/2] Fix typo: `*.error.c` -> `*.broken.c` --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 7005f330..11feeffc 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,7 @@ In order to build the tutorial, you will first need to install [asciidoctor](htt Run `make` to produce `build/tutorial.html` and its dependencies: especially, `build/exercises/*.c` and `build/solutions/*c`. -Run `./check.sh` to check that all examples have working solutions (except tests with names `*.error.c`, which are expected to fail). Note that this step will not work until after you have installed CN, which is the first part of the tutorial. +Run `./check.sh` to check that all examples have working solutions (except tests with names `*.broken.c`, which are expected to fail). Note that this step will not work until after you have installed CN, which is the first part of the tutorial. ## CN Example Archive