Merge branch '3649-consolidate-tests-on-obbt-indicator' into 'master'

Resolve "Consolidate tests on OBBT indicator" Closes #3649 See merge request integer/scip!3270
scipopt · Dec 13, 2023 · 6d9a5d4 · 6d9a5d4
2 parents bbeaaf3 + b889a13
commit 6d9a5d4
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
+