Natools

coverage.sh at [c4b3d85973]
Login

File coverage.sh artifact 06b03219c6 part of check-in c4b3d85973


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