{"push_id":1375707848,"size":1,"distinct_size":1,"ref":"refs/heads/non_det_array_feature","head":"140c8dca8f5ec08969cb18b47426100ee5b28b2c","before":"ee87d7769bd6203f4ef1177756ee777286983b77","commits":[{"sha":"140c8dca8f5ec08969cb18b47426100ee5b28b2c","author":{"name":"John Galea","email":"b594ba8914a2defee415562d0db39c029bb14ea2@stx.ox.ac.uk"},"message":"Added regression test where array can have two sizes.","distinct":true,"url":"https://api.github.com/repos/johnfxgalea/cbmc/commits/140c8dca8f5ec08969cb18b47426100ee5b28b2c"}]}
{"actor":{"display_login":"johnfxgalea"}}