{"push_id":685312175,"size":2,"distinct_size":2,"ref":"refs/heads/fix-cex-output","head":"0cca9eb8351272948b8f653b8752716042e1aa6c","before":"57bcab704f461afa5d84b2d9218f56b508d6b6d3","commits":[{"sha":"035ad181459146235bd1783b841eaa40a5caccfb","author":{"email":"5721131a1feb2f40a72464ada30fc209cd28aab4@uiowa.edu","name":"Christoph sticksel"},"message":"Modified debug statements to compile correctly","distinct":true,"url":"https://api.github.com/repos/chsticksel/kind2/commits/035ad181459146235bd1783b841eaa40a5caccfb"},{"sha":"0cca9eb8351272948b8f653b8752716042e1aa6c","author":{"email":"5721131a1feb2f40a72464ada30fc209cd28aab4@uiowa.edu","name":"Christoph sticksel"},"message":"Display correct name of top node in counterexample","distinct":true,"url":"https://api.github.com/repos/chsticksel/kind2/commits/0cca9eb8351272948b8f653b8752716042e1aa6c"}]}