-
Notifications
You must be signed in to change notification settings - Fork 1
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
Fixes to Merging algorithm #54
base: vara-dev
Are you sure you want to change the base?
Conversation
@padupr What's the current status of this PR? |
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
# Conflicts: # include/vara/Feature/FeatureTreeNode.h # unittests/resources/CMakeLists.txt
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Over all LGTM, just some remarks / questions unrelated to the actual algorithm.
Co-authored-by: Florian Sattler <[email protected]>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
What is the current state of this PR? @padupr could you please, if you find time, go over the open remarks and close them if they are resolved. |
@padupr I pulled in the current fixes on dev. Otherwise, we need to remove the issues reported from the CI. |
@s9latimm I updated the PR to our ne dev state. Can you please double check this PR, especially the TODO part regarding error handling. What should we do in this case? Do we need a specific error here? |
Codecov Report
@@ Coverage Diff @@
## vara-dev #54 +/- ##
============================================
- Coverage 88.48% 88.05% -0.44%
============================================
Files 48 48
Lines 5282 5569 +287
============================================
+ Hits 4674 4904 +230
- Misses 608 665 +57
Continue to review full report at Codecov.
|
Last minute fixes.