14 #ifndef CPROVER_GOTO_PROGRAMS_JSON_GOTO_TRACE_H
15 #define CPROVER_GOTO_PROGRAMS_JSON_GOTO_TRACE_H
114 template <
typename json_arrayT>
118 json_arrayT &dest_array,
123 for(
const auto &step : goto_trace.
steps)
130 ? json_location =
json(source_location)
135 json_location, step, ns};
151 convert_decl(json_assignment, conversion_dependencies, trace_options);
189 if(source_location != previous_source_location)
197 previous_source_location = source_location;
201 #endif // CPROVER_GOTO_PROGRAMS_JSON_GOTO_TRACE_H