Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
CoMISo
CoMISo
Commits
14a99103
Commit
14a99103
authored
Dec 19, 2016
by
Max Lyon
Browse files
Merge branch 'warning_fixes' into Fix_warnings-GF
# Conflicts: # CMakeLists.txt
parents
d191dec3
5eaf3185
Pipeline
#3965
passed with stages
in 10 minutes and 44 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Solver/ConstrainedSolverT.cc
View file @
14a99103
...
...
@@ -470,11 +470,15 @@ make_constraints_independent(
{
double
cur_row_val
(
fabs
(
*
row_it
));
// gcd
// if the coefficient of an integer variable is not an integer, then
// the variable most problably will not be (expect if all coeffs are the same, e.g. 0.5)
if
((
double
(
int
(
cur_row_val
))
-
cur_row_val
)
!=
0.0
)
// If the coefficient of an integer variable is not an integer, then
// the variable most probably will not be. This is expected if all
// coeffs are the same, e.g. 0.5).
// This happens quite often in some ReForm test cases, so downgrading
// the warning below to DEB_line at high verbosity.
if
((
double
(
int
(
cur_row_val
))
-
cur_row_val
)
!=
0.0
)
{
//DEB_warning(2, "coefficient of integer variable is NOT integer : " << cur_row_val)
DEB_line
(
11
,
"coefficient of integer variable is NOT integer : "
<<
cur_row_val
);
gcd_update_valid
=
false
;
}
...
...
@@ -684,11 +688,15 @@ make_constraints_independent_reordering(
{
double
cur_row_val
(
fabs
(
*
row_it
));
// gcd
// if the coefficient of an integer variable is not an integer, then
// the variable most problably will not be (expect if all coeffs are the same, e.g. 0.5)
if
((
double
(
int
(
cur_row_val
))
-
cur_row_val
)
!=
0.0
)
// If the coefficient of an integer variable is not an integer, then
// the variable most probably will not be. This is expected if all
// coeffs are the same, e.g. 0.5).
// This happens quite often in some ReForm test cases, so downgrading
// the warning below to DEB_line at high verbosity.
if
((
double
(
int
(
cur_row_val
))
-
cur_row_val
)
!=
0.0
)
{
//DEB_warning(2, "coefficient of integer variable is NOT integer : " << cur_row_val);
DEB_line
(
11
,
"coefficient of integer variable is NOT integer : "
<<
cur_row_val
);
gcd_update_valid
=
false
;
}
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment