We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3129464 commit e55d40eCopy full SHA for e55d40e
doc/architectural/central-data-structures.md
@@ -111,7 +111,7 @@ A goto program is a sequence of GOTO instructions (`goto_instructiont`). For
111
details of the `goto_programt` class itself see the documentation in
112
[`goto_program.h`](../../src/goto-programs/goto_program.h). For further details
113
of the life cycle of goto programs see
114
-[`src/goto-programs/README.md`](../../src/goto-programs/README.md).
+[`src/goto-programs/README.md`](https://github.com/diffblue/cbmc/blob/develop/src/goto-programs/README.md).
115
116
An instruction (`goto_instructiont`) is a triple (an element with three subcomponents),
117
describing a GOTO level instruction with the following 3 component subtypes,
0 commit comments