{"push_id":964730616,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ee5ad4210c2eff360fcf3386b8c42131e9a490d1","before":"fe55083071691e7b8cd2fd27b4c8662fa12a6e3b","commits":[{"sha":"ee5ad4210c2eff360fcf3386b8c42131e9a490d1","author":{"email":"798377d82daba063defad4844402aa35dc1d8348@ai.sri.com","name":"Rodrigo de Salvo Braz"},"message":"- new test for inequalities with multiple variables.","distinct":true,"url":"https://api.github.com/repos/aic-sri-international/aic-praise/commits/ee5ad4210c2eff360fcf3386b8c42131e9a490d1"}]}