Merge remote-tracking branch 'origin/v9-minor'

Author: scip-ci

Diff for: src/scip/presol_milp.cpp

@@ -760,7 +760,9 @@ SCIP_DECL_PRESOLEXEC(presolExecMILP)
              */
             if( SCIPvarGetStatus(varx) == SCIP_VARSTATUS_FIXED && SCIPvarGetStatus(vary) == SCIP_VARSTATUS_FIXED )
             {
-               assert(false);
+               SCIPdebugMsg(scip, "Aggregation of <%s> and <%s> rejected because they are already fixed.\n",
+                     SCIPvarGetName(varx), SCIPvarGetName(vary));
+
                break;
             }
 
@@ -804,7 +806,9 @@ SCIP_DECL_PRESOLEXEC(presolExecMILP)
              */
             if( SCIPvarGetStatus(aggrvar) == SCIP_VARSTATUS_FIXED )
             {
-               assert(false);
+               SCIPdebugMsg(scip, "Multi-aggregation of <%s> rejected because it is already fixed.\n",
+                     SCIPvarGetName(aggrvar));
+
                break;
             }
 

Diff for: tests/README.md

@@ -33,6 +33,8 @@ Here are some test examples that can help you get started writing unit tests.
 
 ## Compile
 
+### With the `Makefile` System
+
 Smart test discovery is already built into the `Makefile`, so anything in `src` (at any level of nesting) will be detected and compiled into the equivalent path in the `bin` directory. Also, the `Makefile` generates the test "makefile" for `ctest`. There should never be a reason to directly modify any Makefile unless you are hacking on the SCIP Unit Test Suite.
 
 The easiest way to compile and run the tests is:
@@ -54,8 +56,27 @@ Go to `Criterion/dependencies/klib` and execute `git co cdb7e92` and then go to
 
 **NOTE** Some tests might need to include c files from SCIP. For tests to be recompilied the included c file gets recompiled, run `make depend`.
 
+### With the CMake System
+
+Create a build directory and build the unittests
+```bash
+mkdir build 
+cd build 
+cmake .. YOUR_CMAKE_CONFIGURATION
+make unittests -j
+```
+
+There's a target for each test file, that's generated by cmake if you would like to compile only one test.
+For example,
+```bash
+make unittest-scip-stages -j
+```
+To compile the `stages.c` test file in `tests/scip` directory.
+
 ## Run
 
+### With the Makefile System
+
 See above for the easiest way to compile and run tests. For simply running tests:
 
 ```
@@ -90,6 +111,18 @@ Alternatively, one can disable ASLR system-wide (requires root access):
 
 TODO: Define a policy for moving/removing tests in `src/bugs` once the bugs are fixed.
 
+### With the CMake System 
+
+To run all tests:
+```
+ctest
+``` 
+
+To run tests with pattern filter:
+```
+ctest -R FILTER_PATTERN
+```
+
 ## Debug (up to Criterion 2.2.2)
 
 If a test fails, use `gdb` to debug. For example: