Skip to content

Conversation

@hriener
Copy link
Member

@hriener hriener commented Mar 18, 2021

The PR replaces NameMap in aiger_reader by names_view (addresses issue #218).

@coveralls
Copy link

Pull Request Test Coverage Report for Build 665872093

  • 6 of 6 (100.0%) changed or added relevant lines in 1 file are covered.
  • 5 unchanged lines in 2 files lost coverage.
  • Overall coverage increased (+0.1%) to 80.17%

Files with Coverage Reduction New Missed Lines %
include/mockturtle/views/names_view.hpp 2 93.75%
include/mockturtle/algorithms/dsd_decomposition.hpp 3 87.32%
Totals Coverage Status
Change from base Build 654610522: 0.1%
Covered Lines: 10661
Relevant Lines: 13298

💛 - Coveralls

@hriener hriener merged commit cd450cd into master Mar 18, 2021
@hriener hriener deleted the aiger_reader_with_names branch March 18, 2021 22:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants