14 #ifndef CPROVER_GOTO_PROGRAMS_JSON_GOTO_TRACE_H
15 #define CPROVER_GOTO_PROGRAMS_JSON_GOTO_TRACE_H
115 template <
typename json_arrayT>
119 json_arrayT &dest_array,
124 for(
const auto &step : goto_trace.
steps)
131 ? json_location =
json(source_location)
136 json_location, step, ns, source_location};
152 convert_decl(json_assignment, conversion_dependencies, trace_options);
179 if(source_location != previous_source_location)
187 previous_source_location = source_location;
191 #endif // CPROVER_GOTO_PROGRAMS_JSON_GOTO_TRACE_H