History of the file that is called coverage.sh at check-in 660d5d43a435d000
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] | |