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.

Sign up for GitHub

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

Prevent iterator from incrementing after basic variable found #54

Merged
merged 9 commits into from
May 26, 2018
Merged

Prevent iterator from incrementing after basic variable found #54

Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
d6ceaa8
Reading TF SavedModels
kjulian3 Apr 4, 2018
857195e
Bug fix: getNewVariable already increments numVars
kjulian3 Apr 4, 2018
e78710a
merge with upstream
kjulian3 Apr 5, 2018
9ef45f0
Merge changes
kjulian3 May 3, 2018
0f68b3e
Merge remote-tracking branch 'upstream/master'
kjulian3 May 21, 2018
679d02b
Merge remote-tracking branch 'upstream/master'
kjulian3 May 25, 2018
b8806cd
Merge remote-tracking branch 'upstream/master'
kjulian3 May 25, 2018
be59df2
Small bug fix
kjulian3 May 25, 2018
c774dfc
Make style consistent
kjulian3 May 25, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 4 additions & 2 deletions src/engine/Engine.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -452,8 +452,10 @@ void Engine::fixViolatedPlConstraintIfPossible()
found = true;
}
}

++it;
if ( !found )
{
++it;
}
}

// If we couldn't find an eligible fix, give up
Expand Down