Skip to content

Commit 739a0d0

Browse files
committed
Remove link to device-behaviour documentation
I would expect the doxygen website to work with either `\ref Device-behaviour` to link to the section or `\ref modeling-mmio.md` to link to the file. However the documentation build system was not able to resolve either of these links at the time of writing this commit. I tried using `[modeling-mmio.md](../cprover-manual/modeling-mmio.md)` which should work when viewing the page as markdown locally or through githubs UI. However this introduced a failure on the doxygen checking PR job, for which it was non-trivial to add to the list of known warnings, as the warning message contained an absolute path.
1 parent a788675 commit 739a0d0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

doc/architectural/goto-program-transformations.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -58,7 +58,7 @@ in \ref remove_function_pointers.h
5858

5959
This pass finds pointer dereferences and adds corresponding calls to the
6060
`__CPROVER_mm_io_r` and `__CPROVER_mm_io_w` modelling functions if they exist.
61-
See [modeling-mmio.md](Device-behavior) for details of
61+
See the device behaviour section of `modeling-mmio.md` for details of
6262
modeling memory-mapped I/O regions of device interfaces. This pass is always
6363
carried out but will only make changes if one of the modelling functions exist.
6464

0 commit comments

Comments
 (0)