{"push_id":2993646194,"size":1,"distinct_size":1,"ref":"refs/heads/wp-interpolant","head":"420097352e15c643449ffa25a5824fbcec655657","before":"66e5f9826c297bcaf1a2dabbabdd3fd003c55e80","commits":[{"sha":"420097352e15c643449ffa25a5824fbcec655657","author":{"name":"rasoolmaghareh","email":"6110615e9a6fa34d19509069b35778e49740da90@comp.nus.edu.sg"},"message":"Changing back to the case where WP Expression subsumption test is done separately before Deletion Subsumption Test.","distinct":true,"url":"https://api.github.com/repos/tracer-x/klee/commits/420097352e15c643449ffa25a5824fbcec655657"}]}
{"actor":{"display_login":"rasoolmaghareh"}}