otp.git/lib/tools/src, branch maint-21 Mirror of Erlang/OTP repository. Merge branch 'john/tools/fix-cover-register-race/ERL-943/OTP-15813' into maint-21 2019-05-14T13:27:41+00:00 Erlang/OTP otp@erlang.org 2019-05-14T13:27:41+00:00 cef9d9914da3c466da986e98e03b6dcd96715cbe * john/tools/fix-cover-register-race/ERL-943/OTP-15813: cover: Fix register/2 race on startup 
* john/tools/fix-cover-register-race/ERL-943/OTP-15813:
  cover: Fix register/2 race on startup
cover: Fix register/2 race on startup 2019-05-13T09:45:59+00:00 John Högberg john@erlang.org 2019-05-09T13:07:48+00:00 656420b64c9207ef5fc25c107b5f4a457b6359bd 






[cover] Make uncovered lines searchable in html output
2019-01-21T15:26:38+00:00

Siri Hansen
siri@erlang.org

2019-01-21T15:26:38+00:00

c18bb73c75b1eea6e8986893edc3b7a066fcf365

Prior to PR#1807, uncovered lines could be found by searching for "
0.." in the HTML page generated by cover:analyse_to_file/1,2. The pull
request removed the two dots after the number of hits, which makes it
much harder to find the uncovered lines.

This commit introduces a sad face, :-( , instead of the single 0
character, which should make the search easier.





Prior to PR#1807, uncovered lines could be found by searching for "
0.." in the HTML page generated by cover:analyse_to_file/1,2. The pull
request removed the two dots after the number of hits, which makes it
much harder to find the uncovered lines.

This commit introduces a sad face, :-( , instead of the single 0
character, which should make the search easier.







Add a link on the line number in cover output
2019-01-11T15:12:31+00:00

Loïc Hoguin
essen@ninenines.eu

2018-12-06T12:17:25+00:00

2eaf5f8014ced0ea5cff65782646fe209bf8dc2f

This will make it easier to send links to other people.





This will make it easier to send links to other people.







Implement print on other node
2018-11-30T14:03:19+00:00

Raimo Niskanen
raimo@erlang.org

2018-11-16T15:58:44+00:00

a1bdaba31c8f925f70fd87d625c1760f271f46ad












Update copyright year
2018-09-21T10:23:25+00:00

Henrik Nord
henrik@erlang.org

2018-09-21T10:23:25+00:00

d04b53936d5e9f84a3066ecd466993671b1428bf












Merge pull request #1807 from milmazz/improve-cover-html-pages
2018-08-06T10:06:30+00:00

Siri Hansen
erlangsiri@gmail.com

2018-08-06T10:06:30+00:00

ce0ab49ca59dc56cb4774abc1f635b7ff9cf97df

Improve Cover HTML page

OTP-15213




Improve Cover HTML page

OTP-15213






Improve Cover HTML page
2018-07-14T19:07:50+00:00

Milton Mazzarri
me@milmazz.uno

2018-03-04T15:31:14+00:00

435de985cf35362c5df97fdad65dd4a06c18d586

* Adapt diff colors to bring more contrast
* Use monospace font for all the code in cover HTML report
* Specify background color for the body as white
* Reduce font-size for header
* Install cover stylesheet when making release (@sirihansen made this improvement)
* Additional changes based on feedback





* Adapt diff colors to bring more contrast
* Use monospace font for all the code in cover HTML report
* Specify background color for the body as white
* Reduce font-size for header
* Install cover stylesheet when making release (@sirihansen made this improvement)
* Additional changes based on feedback







Update copyright year
2018-06-18T12:51:18+00:00

Henrik Nord
henrik@erlang.org

2018-06-18T12:51:18+00:00

5ca92e2eac1e84fd22f60e7abc3aa2b0ff1cb42b












tools: Handle fast restarts of Xref server
2018-05-08T11:42:36+00:00

Hans Bolinder
hasse@erlang.org

2018-05-08T11:42:36+00:00

41ea54fd4e6cb54f5dffed3163468dd9bb5e347f