cprover
|
Util. More...
#include "json_irep.h"
#include "exception_utils.h"
#include "irep.h"
#include "json.h"
#include <algorithm>
Go to the source code of this file.
Functions | |
json_objectt | json (const source_locationt &location) |
Util.
Definition in file json_irep.cpp.
json_objectt json | ( | const source_locationt & | location | ) |
Definition at line 141 of file json_irep.cpp.