{"push_id":933923829,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cac83942ba0a1b110911673024b94e294577ebe6","before":"a8f9cb412f65160e255a854cd80aaea08350f46e","commits":[{"sha":"cac83942ba0a1b110911673024b94e294577ebe6","author":{"email":"979058fa2391c60fec8c466b91121fa794e5d834@cmu.edu","name":"Arie Gurfinkel"},"message":"[sea_par] cleanup\n\nUsing proper syntax to compare with None\nOnly print that counterexample is moved when it is actually moved","distinct":true,"url":"https://api.github.com/repos/seahorn/seahorn/commits/cac83942ba0a1b110911673024b94e294577ebe6"}]}