-
Johannes Kanig authored
For every check, we now print the "check_tree" into the JSON output. This is basically a dump of the session tree, just in a different format. * json.ml new json datatype and new function "print_json" to print it Change-Id: I0b28ac181793af4d160abc58c2634b3cbcac9b94
a4bf8bd8