fix: mixed up operators for ConstAboveDiagonal and ConstBelowDiagonal

Closes #618
This commit is contained in:
microproofs
2023-10-13 11:40:07 -04:00
parent e8bcbecf31
commit 596ce49327

View File

@@ -3124,7 +3124,7 @@ impl TwoArguments {
}
}
TwoArguments::ConstAboveDiagonal(l) => {
if x > y {
if x < y {
l.constant
} else {
let p = *l.model.clone();
@@ -3132,7 +3132,7 @@ impl TwoArguments {
}
}
TwoArguments::ConstBelowDiagonal(l) => {
if x < y {
if x > y {
l.constant
} else {
let p = *l.model.clone();