{"push_id":818853454,"size":1,"distinct_size":1,"ref":"refs/heads/svcomp2016","head":"623f63464524b1c5780fe74333b07cd224839a1c","before":"1b439ba903ff376ef6748547d0834bff4d770b07","commits":[{"sha":"623f63464524b1c5780fe74333b07cd224839a1c","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Remove declaration of __VERIFIER_assert when CUSTOM_ASSERT is set","distinct":true,"url":"https://api.github.com/repos/smackers/smack/commits/623f63464524b1c5780fe74333b07cd224839a1c"}]}