@@ -8,15 +8,15 @@
* the WTFPL will do.
*
* To simulate it:
- * spin -p docs/aio_notify.promela
+ * spin -p docs/spin/aio_notify.promela
*
* To verify it:
- * spin -a docs/aio_notify.promela
+ * spin -a docs/spin/aio_notify.promela
* gcc -O2 pan.c
* ./a.out -a
*
* To verify it (with a bug planted in the model):
- * spin -a -DBUG docs/aio_notify.promela
+ * spin -a -DBUG docs/spin/aio_notify.promela
* gcc -O2 pan.c
* ./a.out -a
*/
@@ -8,13 +8,13 @@
* the WTFPL will do.
*
* To verify the buggy version:
- * spin -a -DBUG1 docs/aio_notify_bug.promela
+ * spin -a -DBUG1 docs/spin/aio_notify_bug.promela
* gcc -O2 pan.c
* ./a.out -a -f
* (or -DBUG2)
*
* To verify the fixed version:
- * spin -a docs/aio_notify_bug.promela
+ * spin -a docs/spin/aio_notify_bug.promela
* gcc -O2 pan.c
* ./a.out -a -f
*
@@ -8,12 +8,12 @@
* the WTFPL will do.
*
* To verify the buggy version:
- * spin -a -DBUG docs/aio_notify_bug.promela
+ * spin -a -DBUG docs/spin/aio_notify_bug.promela
* gcc -O2 pan.c
* ./a.out -a -f
*
* To verify the fixed version:
- * spin -a docs/aio_notify_bug.promela
+ * spin -a docs/spin/aio_notify_bug.promela
* gcc -O2 pan.c
* ./a.out -a -f
*
@@ -9,7 +9,7 @@
* the WTFPL will do.
*
* To verify it:
- * spin -a docs/tcg-exclusive.promela
+ * spin -a docs/spin/tcg-exclusive.promela
* gcc pan.c -O2
* ./a.out -a
*
@@ -104,7 +104,7 @@ struct AioContext {
*
* Note that event_notifier_set *cannot* be optimized the same way. For
* more information on the problem that would result, see "#ifdef BUG2"
- * in the docs/aio_notify_accept.promela formal model.
+ * in the docs/spin/aio_notify_accept.promela formal model.
*/
bool notified;
EventNotifier notifier;
With the move of some docs/ to docs/devel/ on ac06724a71, some references were not updated. Signed-off-by: Philippe Mathieu-Daudé <f4bug@amsat.org> --- docs/spin/aio_notify.promela | 6 +++--- docs/spin/aio_notify_accept.promela | 4 ++-- docs/spin/aio_notify_bug.promela | 4 ++-- docs/spin/tcg-exclusive.promela | 2 +- include/block/aio.h | 2 +- 5 files changed, 9 insertions(+), 9 deletions(-)