a_star: don't crash on deserialization errors and limit static types

[nit.git] / benchmarks / json / scripts / python.py

import sys
import json

json_data=open(sys.argv[1]).read()
data = json.loads(json_data)