Natools

All files named "coverage.sh"
Login

History for coverage.sh

2017-02-15
22:57
coverage.sh: use gprbuild instead of gnatmake file: [664f8ff22f] check-in: [89d897146c] user: nat, branch: trunk, size: 629 [annotate] [blame] [check-ins using] [diff]
2014-04-11
20:10
tools/test.sh: test suite for tools file: [0c2b3fd4ac] check-in: [9347f4362d] user: nat, branch: trunk, size: 559 [annotate] [blame] [check-ins using] [diff]
2014-03-11
19:33
coverage.sh: add more configuration variables for better flexibility file: [4e0df98a36] check-in: [577fa9c3d6] user: nat, branch: trunk, size: 472 [annotate] [blame] [check-ins using] [diff]
2014-01-02
19:22
coverage.sh: update the script for gcc-aux file: [e3519e56b4] check-in: [0b249eb1b5] user: nat, branch: trunk, size: 378 [annotate] [blame] [check-ins using] [diff]
2013-09-26
21:55
coverage.sh: suppress test output spam file: [556978c60f] check-in: [a44fa6898f] user: nat, branch: trunk, size: 318 [annotate] [blame] [check-ins using] [diff]
2013-09-25
20:07
coverage.sh: clear counters before each run file: [5ce9679fd8] check-in: [884da542c5] user: nat, branch: trunk, size: 281 [annotate] [blame] [check-ins using] [diff]
2013-09-09
18:18
Added: Add coverage analysis configuration file: [06b03219c6] check-in: [423c312ac9] user: nat, branch: trunk, size: 236 [annotate] [blame] [check-ins using]