{"push_id":1808160832,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ebec8d31f678fd55397d31ed97f55685a8f03568","before":"f04fe2eda6acc8258b1a69aedfd4cdd64aa0feb0","commits":[{"sha":"ebec8d31f678fd55397d31ed97f55685a8f03568","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"PC14-011 start support coverage of gnat2why\n\n* add -XBuild=Coverage to gnat2why.gpr\n* fix \"make coverage\" to pass -XBuild=Coverage\n* don't run testsuite in \"make coverage\" target\n* add --coverage switch to gnatprove\n* new .cgpr files to select gnat2why_cov_wrapper instead of gnat2why\n* add --coverage switch to run-tests, which passes --coverage to\n  gnatprove\n\nquite some work is still needed in anod scripts to\n\n* compile gnat2why in coverage mode;\n* run testsuite;\n* aggregate coverage results\n\nChange-Id: Icdd88485f42941642235059f996c594199863296","distinct":true,"url":"https://api.github.com/repos/AdaCore/spark2014/commits/ebec8d31f678fd55397d31ed97f55685a8f03568"}]}
{"actor":{"display_login":"adacore-bot"}}