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 cae37d9 commit c3ce5b1Copy full SHA for c3ce5b1
src/goto-symex/symex_dereference_state.cpp
@@ -86,22 +86,22 @@ void symex_dereference_statet::get_value_set(
86
{
87
state.value_set.get_value_set(expr, value_set, ns);
88
89
- #if 0
+#if 0
90
std::cout << "**************************\n";
91
state.value_set.output(goto_symex.ns, std::cout);
92
93
- #endif
+#endif
94
95
96
std::cout << "E: " << from_expr(goto_symex.ns, "", expr) << '\n';
97
98
99
100
101
for(value_setst::valuest::const_iterator it=value_set.begin();
102
it!=value_set.end();
103
it++)
104
std::cout << from_expr(goto_symex.ns, "", *it) << '\n';
105
106
107
}
0 commit comments