{"push_id":3003296942,"size":3,"distinct_size":3,"ref":"refs/heads/develop","head":"b473cfcbc29ea48fed75ab233cb60e44a012462a","before":"3ab83715be93012de560884df06d0123cb83000f","commits":[{"sha":"83d1f312e3db42e6958c702de15bf9bc68ca1081","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove unused includes from regression tests\n\nThis cleanup avoids giving the false impression we would be testing any\nfunctions declared in those header files, which in turn simplifies moving tests\nthat exercise the internal modelling library to a separate folder.","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/83d1f312e3db42e6958c702de15bf9bc68ca1081"},{"sha":"10409de86debf1812d4af5270459d7aaeee8e11d","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"clang-format whitespace cleanup in regression test\n\nclang-format was complaining about lines I hadn't touched, cleaning them up\nanyhow.","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/10409de86debf1812d4af5270459d7aaeee8e11d"},{"sha":"b473cfcbc29ea48fed75ab233cb60e44a012462a","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #3203 from tautschnig/regression-test-header-cleanup\n\nRemove unused includes from regression tests","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/b473cfcbc29ea48fed75ab233cb60e44a012462a"}]}
{"actor":{"display_login":"kroening"}}