{"push_id":1066095447,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"78097b9e0810150229613f46ec97a69aad348043","before":"ce523254e537b8380b695ea82fc5f1e7c8fc7f23","commits":[{"sha":"78097b9e0810150229613f46ec97a69aad348043","author":{"email":"5f50a84c1fa3bcff146405017f36aec1a10a9e38@stieglmaier.me","name":"Thomas Stieglmaier"},"message":"Proper handling for dynamic multi-edges, getEdgeToChild is not correct anymore for this case.\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@20740 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/78097b9e0810150229613f46ec97a69aad348043"}]}