{"push_id":3068674363,"size":1,"distinct_size":1,"ref":"refs/heads/goto_programs-validation","head":"062088fd0e82f080b501bfa319659bc8152f8967","before":"1cb3da141872bc5a56bf30b696973b7aca999a5e","commits":[{"sha":"062088fd0e82f080b501bfa319659bc8152f8967","author":{"name":"Sonny Martin","email":"41184dac9b5110034d9a88bcd310f16d80caa77e@diffblue.com"},"message":"Validation checks for Goto Programs\n\nThere are several checks, implemented with separate methods, and\nsome flagged as optional.\nNB use of validate_goto_model(*this, vm) in goto_functions.h is to avoid\ncircular inclusion as function_mapt is a nested type and so cannot be\nforward declared.","distinct":true,"url":"https://api.github.com/repos/sonodtt/cbmc/commits/062088fd0e82f080b501bfa319659bc8152f8967"}]}
{"actor":{"display_login":"sonodtt"}}