New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Reporter cleanup #106

Merged
merged 5 commits into from Jun 17, 2016

Conversation

Projects
None yet
2 participants
@aantron
Owner

aantron commented Jun 4, 2016

Resolves #105.

-no-navbar and -no-folding were deprecated, but I doubt anyone ever used them anyway. They were used in the tests at some point, when the old HTML reports were around.

I kept the "dump" output format for now, because it useful for the thread safety test.

@rleonid

This comment has been minimized.

Show comment
Hide comment
@rleonid

rleonid Jun 4, 2016

Collaborator

I suggest keeping the CSV format, it at least gives some guarantees about structure over the regular text format.

Collaborator

rleonid commented Jun 4, 2016

I suggest keeping the CSV format, it at least gives some guarantees about structure over the regular text format.

@aantron

This comment has been minimized.

Show comment
Hide comment
@aantron

aantron Jun 4, 2016

Owner

Fair enough. I've omitted that commit.

Owner

aantron commented Jun 4, 2016

Fair enough. I've omitted that commit.

@aantron aantron referenced this pull request Jun 4, 2016

Merged

Remove point kinds #107

@aantron aantron referenced this pull request Jun 15, 2016

Merged

Eliminate .cmp files #108

@aantron

This comment has been minimized.

Show comment
Hide comment
@aantron

aantron Jun 17, 2016

Owner

Got no objections (1, 2, 3), so merging this and #107.

Owner

aantron commented Jun 17, 2016

Got no objections (1, 2, 3), so merging this and #107.

@aantron aantron merged commit ea3abf1 into master Jun 17, 2016

3 checks passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details
coverage/coveralls Coverage increased (+0.3%) to 80.654%
Details

@aantron aantron deleted the reporter-cleanup branch Jun 17, 2016

aantron added a commit that referenced this pull request Jun 24, 2017

Testing: remove outdated reference to xmllint
We do not run xmllint since

  5a2219a

which was part of #106.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment