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 8f6dab8 commit bef9866Copy full SHA for bef9866
src/goto-symex/build_goto_trace.cpp
@@ -101,14 +101,6 @@ exprt build_full_lhs_rec(
101
return src_original;
102
}
103
104
-exprt adjust_lhs_object(
105
- const prop_convt &prop_conv,
106
- const namespacet &ns,
107
- const exprt &src)
108
-{
109
- return nil_exprt();
110
-}
111
-
112
/// set internal field for variable assignment related to dynamic_object[0-9]
113
/// and dynamic_[0-9]_array.
114
void set_internal_dynamic_object(
0 commit comments