Skip to content

Fix documentation links #7578

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Mar 7, 2023
Merged

Fix documentation links #7578

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions doc/architectural/symex-instructions.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,12 +23,12 @@ Symex is, at its core, a GOTO-program interpreter that uses symbolic values inst
This produces a formula which describes all possible outputs rather than a single output value.
While Symex is interpreting the program, it also builds a list of Static Single Assignment (SSA)
steps that form part of the equation that is to be sent to the solver. For more information see
[src/goto-symex](../../src/goto-symex/README.md).
\ref symbolic-execution.

You can see the main instruction dispatcher (what corresponds to the main interpreter
loop) at `goto_symext::execute_next_instruction`.

Symex's source code is available under [src/goto-symex](../../src/goto-symex/).
Symex's source code is available under \ref goto-symex.

## Instruction Types

Expand Down Expand Up @@ -115,7 +115,7 @@ case ASSUME:
break;
```

The way the [`symex` subfolder](../../src/goto-symex/) is structured, the different
The way the \ref goto-symex subfolder is structured, the different
dispatching functions are usually in their own file, designated by the instruction's
name. As an example, you can find the code for the function goto_symext::symex_goto
in [symex_goto.cpp](../../src/goto-symex/symex_goto.cpp)
Expand Down
1 change: 1 addition & 0 deletions doc/doxygen-root/doxyfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -853,6 +853,7 @@ INPUT_ENCODING = UTF-8
FILE_PATTERNS = *.cpp
FILE_PATTERNS += *.h
FILE_PATTERNS += *.md
FILE_PATTERNS += *.c

# The RECURSIVE tag can be used to specify whether or not subdirectories should
# be searched for input files as well.
Expand Down