Example #1
0
def instql_trace_from_file(json_path, instql_asp):
	trace = trace_dicts_from_file(json_path)
	return instql_trace(trace, instql_asp)
Example #2
0
def instal_fact_json(json_file):
    jsons = trace_dicts_from_file(json_file)
    if len(jsons) == 0:
        return []
    return dict_funs_to_list(jsons[-1], keys=["holdsat"])