summaryrefslogtreecommitdiffstats
path: root/coverage/.gitignore
AgeCommit message (Expand)AuthorFilesLines
2019-11-29u16id: Add maps for identifiers id of 16 bitsJose Bollo1-0/+1
2019-04-30coverage: Allow to run coverage everywhereJosé Bollo1-0/+1
2019-03-27coverage: Allow removal of valgrindJosé Bollo1-0/+2
2018-07-27coverage: Improve coverage testJosé Bollo1-4/+4
2018-07-24coverage and test: Add testsJose Bollo1-0/+11
2018-07-08coverage: Improve testingJose Bollo1-0/+3