cprover
json_goto_trace.cpp File Reference

Traces of GOTO Programs. More...

#include "json_goto_trace.h"
#include <cassert>
#include <util/json_expr.h>
#include <langapi/language_util.h>
Include dependency graph for json_goto_trace.cpp:

Go to the source code of this file.

Functions

void convert (const namespacet &ns, const goto_tracet &goto_trace, jsont &dest)
 

Detailed Description

Traces of GOTO Programs.

Definition in file json_goto_trace.cpp.

Function Documentation

◆ convert()