{"push_id":604420983,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"f224fcffdddc2d9fc71aa7922996094db8854100","before":"1d9ea48b2a25aa58a9c2e387510d4d9e8dbfed11","commits":[{"sha":"f224fcffdddc2d9fc71aa7922996094db8854100","author":{"email":"fd754e68a8e713b5ea012d85ae703f854842758b@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"pwendler"},"message":"Improve error handling of Z3 wrapper:\ndo not throw Exception, but a more specific exception.\nIn case of an exception due to a timeout, detect this.\nThe change will only be effective when Z3 is recompiled.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@16273 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/f224fcffdddc2d9fc71aa7922996094db8854100"}]}