{"push_id":691916576,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"2ae374d7c0915a5ef9284b09718ed3cfec9c8648","before":"4a58d6cb2526442fdae7647f9303f7fc7226b1ea","commits":[{"sha":"2ae374d7c0915a5ef9284b09718ed3cfec9c8648","author":{"email":"fd754e68a8e713b5ea012d85ae703f854842758b@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"pwendler"},"message":"Fix bug introduced in r16220: predicates of PredicateCPA had SSA indices\nIn this revision it was forgotten to introduce a call to uninstantiate\nin one of the callers of extractAtoms(), which previously did the\nuninstantiate itself.\nThis meant that all the predicates used by the PredicateCPA\nstill had variables with SSA indices although they are meant to have no\nindices. This works in fact, but leads to a much higher number of\npredicates, because the same predicate can now appear with different\nSSA indices. Thus we revert this back to the previous behavior.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@17001 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/2ae374d7c0915a5ef9284b09718ed3cfec9c8648"}]}