Natools

coverage.sh at [b751974453]
Login

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


#!/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