{"push_id":774995452,"size":1,"distinct_size":1,"ref":"refs/heads/clousot-xunit","head":"37a88ddb37c7038a940d900a6bdb182c10f95a63","before":"bf68cc65e6a2a3b1f5b8f7b80331d8ed5e254d64","commits":[{"sha":"37a88ddb37c7038a940d900a6bdb182c10f95a63","author":{"email":"f16bed56189e249fe4ca8ed10a1ecae60e8ceac0@tunnelvisionlabs.com","name":"Sam Harwell"},"message":"Fixed compilation errors in ClousotCacheTests","distinct":true,"url":"https://api.github.com/repos/sharwell/CodeContracts/commits/37a88ddb37c7038a940d900a6bdb182c10f95a63"}]}