Natools

Diff
Login

Differences From Artifact [06b03219c6]:

To Artifact [5ce9679fd8]:


1
2

3
4
5
1
2
3
4
5
6


+



#!/bin/sh
gnatmake -p -Ptests -XMODE=Coverage || exit $?
lcov --directory coverage/obj --zerocounters
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