{"push_id":998771575,"size":1,"distinct_size":1,"ref":"refs/heads/extending-assumption-automata","head":"d87289d66f19ae41ec8ed73d5cba88403a83b4cd","before":"aea5cd41f685f06556998655af02394a6abf3156","commits":[{"sha":"d87289d66f19ae41ec8ed73d5cba88403a83b4cd","author":{"email":"86b28301b9d006a0621aa44b4334ac4853709a1d@hotmail.com","name":"Rodrigo Castaño"},"message":"Cleaning up scripts, producing safe, unexplored and explored paths.","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/d87289d66f19ae41ec8ed73d5cba88403a83b4cd"}]}