{"push_id":737632670,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"85db1676fe7030f773fc3d8632f3cb3743fa046d","before":"645361c0a7ac6af01f7b5aaa7601e32d0a26c062","commits":[{"sha":"85db1676fe7030f773fc3d8632f3cb3743fa046d","author":{"email":"b42baff156263141316e94ba55b0217be8e81e11@gmail.com","name":"Rafael Gregorut"},"message":"Commit importante\n\nDS e UIO serao passados num mesmo arquivo e o processamento sera o\nmesmo. Implementei a geracao de propriedades a partir dos requisitos\n(estados da FSM) dos criterios AllSimple e AllPaths. Todos os arquivos\nvirao pre processados, somente com as sequencias de teste finais ou pre\nrequisitos, para facilitar. Adicionei a FSM no repositorio. Criei uma\nclasse simples para representar um estado.","distinct":true,"url":"https://api.github.com/repos/rafaelgregorut/ExtractingStateSequences/commits/85db1676fe7030f773fc3d8632f3cb3743fa046d"}]}