Skip to content

Path exploration goodies #1915

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 7 commits into from
May 8, 2018
Merged

Path exploration goodies #1915

Changes from 1 commit
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
e823538
Symex paths saved onto abstract data structure
karkhaz Feb 27, 2018
2a86fb4
Bugfix: always print path exploration resume point
karkhaz Mar 3, 2018
685937a
Path exploration pushes both successors onto queue
karkhaz Mar 6, 2018
17951c8
Add path strategy chooser class
karkhaz Apr 12, 2018
feef069
Doxygen uses C++ parser for .h files
karkhaz Mar 15, 2018
85aba52
Make new LIFO path exploration the default
karkhaz Apr 6, 2018
916eb1f
Unit tests for path exploration strategies
karkhaz Apr 11, 2018
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
2 changes: 1 addition & 1 deletion src/doxyfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -281,7 +281,7 @@ OPTIMIZE_OUTPUT_VHDL = NO
# Note that for custom extensions you also need to set FILE_PATTERNS otherwise
# the files are not read by doxygen.

EXTENSION_MAPPING =
EXTENSION_MAPPING = h=c++
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Minor nit: This should probably have been a separate PR... but I won't block the PR :-)


# If the MARKDOWN_SUPPORT tag is enabled then doxygen pre-processes all comments
# according to the Markdown format, which allows for more readable
Expand Down