{"head":"e7a58fd8bac3e47a9b99dc842d55034fb30a3fb7","size":1,"push_id":47235576,"commits":[{"sha":"e7a58fd8bac3e47a9b99dc842d55034fb30a3fb7","author":{"name":"Lee Pike","email":"7401a49938e7e0cc0bc9b4de99ed9a8c58080447@galois.com"},"url":"https://api.github.com/repos/niswegmann/copilot-core/commits/e7a58fd8bac3e47a9b99dc842d55034fb30a3fb7","message":"Select whether to test with div/mod operators."}],"ref":"refs/heads/master","legacy":{"head":"e7a58fd8bac3e47a9b99dc842d55034fb30a3fb7","size":1,"push_id":47235576,"shas":[["e7a58fd8bac3e47a9b99dc842d55034fb30a3fb7","leepike@galois.com","Select whether to test with div/mod operators.","Lee Pike"]],"ref":"refs/heads/master"}}