{"push_id":1100206827,"size":1,"distinct_size":1,"ref":"refs/heads/smt-strings","head":"7cc6a6b8fadb89d95610d2b47198696d99555017","before":"b820c1e34a25b98b9ce7578db2f52ad239a666bd","commits":[{"sha":"7cc6a6b8fadb89d95610d2b47198696d99555017","author":{"email":"d83098fa35258b9c19617ae7726abd9d616a5d75@fbk.eu","name":"Alberto Griggio"},"message":"strings test3: added version with assertions checked one by one\n\nthis is quite quick also with the INT<->BV conversion","distinct":true,"url":"https://api.github.com/repos/agriggio/cbmc/commits/7cc6a6b8fadb89d95610d2b47198696d99555017"}]}