Resolve "Consolidate tests on OBBT indicator"

scipopt · Dec 13, 2023 · b889a13 · b889a13
1 parent bbeaaf3
commit b889a13
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/check/CMakeLists.txt b/check/CMakeLists.txt
@@ -197,6 +197,7 @@ set(settings_Indicator
     "indicatorconflict"
     "indicatoralterlp"
     "indicatorupgrade"
+    "indicatorobbt"
    )
 
 set(settings_reopt

diff --git a/check/coverage/settings/indicatorobbt.set b/check/coverage/settings/indicatorobbt.set
@@ -0,0 +1,6 @@
+# SCIP version 8.1.0.5
+
+# apply obbt on variables of indicator constraints? (independent of convexity)
+# [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: FALSE]
+propagating/obbt/indicators = TRUE
+