Skip to content

Refactor gen_nondet_init #990

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
thk123 merged 4 commits into from
Jun 29, 2017
Merged

Refactor gen_nondet_init #990

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
9ccdd32
Split up gen_nondet_init function
Jun 6, 2017
6770e74
Split up gen_nondet_init for structs
Jun 7, 2017
90c8198
Added missing comment to class_hieracrchyt
Jun 5, 2017
fde9c76
Correcting assertions.
Jun 19, 2017
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
4 changes: 4 additions & 0 deletions src/goto-programs/class_hierarchy.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,10 @@ Date: April 2016

#include "class_hierarchy.h"

/// Looks for all the struct types in the symbol table and construct a map from
/// class names to a data structure that contains lists of parent and child
/// classes for each struct type (ie class).
/// \param symbol_table: The symbol table to analyze
void class_hierarchyt::operator()(const symbol_tablet &symbol_table)
{
forall_symbols(it, symbol_table.symbols)
Expand Down
Loading