{"push_id":1836588548,"size":3,"distinct_size":3,"ref":"refs/heads/goto-diff-fix","head":"87cc5c22bb37a399a1b697032887766e72fac138","before":"0c7103cd008d36936c018e7254555487e138f3a3","commits":[{"sha":"14e23a1cc0bb265664c59f69db749d82debf168f","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Introduce regression test suite for goto-diff\n\nTest presently fails, marked as KNOWNBUG","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/14e23a1cc0bb265664c59f69db749d82debf168f"},{"sha":"133c3d2c2005ab3b9edd92d6360b44bd7fd99b4d","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"goto-diff: deleted functions cannot be found in goto_model2","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/133c3d2c2005ab3b9edd92d6360b44bd7fd99b4d"},{"sha":"87cc5c22bb37a399a1b697032887766e72fac138","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"goto-diff: no whitespace in section headers at end-of-line\n\nCompletes the fix of the regression test together with the previous commit. Test\nnow marked as CORE.","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/87cc5c22bb37a399a1b697032887766e72fac138"}]}
{"actor":{"display_login":"tautschnig"}}