Skip to content
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

Fix log message in ChoiceManager.choose #171

Merged
merged 1 commit into from
Mar 11, 2019
Merged

Fix log message in ChoiceManager.choose #171

merged 1 commit into from
Mar 11, 2019

Conversation

rtaupe
Copy link
Collaborator

@rtaupe rtaupe commented Mar 11, 2019

Before this fix, the decision level was printed before it was increased, thus connecting the chosen atom with a wrong decision level in the log output.

Before this fix, the decision level was printed before it was increased,
thus connecting the chosen atom with a wrong decision level in the log
output.
@rtaupe rtaupe requested a review from AntoniusW March 11, 2019 09:36
@codecov
Copy link

codecov bot commented Mar 11, 2019

Codecov Report

Merging #171 into master will not change coverage.
The diff coverage is 100%.

Impacted file tree graph

@@            Coverage Diff            @@
##             master     #171   +/-   ##
=========================================
  Coverage     77.92%   77.92%           
  Complexity     1793     1793           
=========================================
  Files           131      131           
  Lines          5835     5835           
  Branches       1070     1069    -1     
=========================================
  Hits           4547     4547           
  Misses          904      904           
  Partials        384      384
Impacted Files Coverage Δ Complexity Δ
...va/at/ac/tuwien/kr/alpha/solver/ChoiceManager.java 78.12% <100%> (ø) 41 <0> (ø) ⬇️

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update d773181...65ad52f. Read the comment docs.

@AntoniusW AntoniusW merged commit 2068c46 into master Mar 11, 2019
@AntoniusW AntoniusW deleted the fix_logging branch March 11, 2019 11:57
madmike200590 pushed a commit to madmike200590/Alpha that referenced this pull request Nov 19, 2019
Fix log message in ChoiceManager.choose
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.

2 participants