Natools

coverage.sh at [5bfb52fc1f]
Login

File coverage.sh artifact 556978c60f part of check-in 5bfb52fc1f


#!/bin/sh
gnatmake -p -Ptests -XMODE=Coverage || exit $?
lcov --directory coverage/obj --zerocounters
coverage/bin/test_all >coverage.log
tail -n 4 coverage.log
lcov --gcov-tool gnatgcov --directory coverage/obj --output coverage/test-info.dat --capture || exit $?
genhtml --output-dir coverage coverage/test-info.dat