Loading...
Searching...
No Matches
Interfacing HiGHS

Can solve mixed-integer optimization problems using HiGHS.

  • Formatted

    LP

    Can solve a feasible LP

    Tested FeatureOutcome
    Can retrieve primal solution100 %
    Can retrieve dual solution100 %
    Can retrieve reduced costs100 %
    Throws an exception if primal ray is asked100 %
    Throws an exception if farkas certificate is asked100 %
    Can write a model to a file and read it back0 %

    Can update and re-optimize a feasible LP

    Tested FeatureOutcome
    Can add cut and re-optimize100 %
    Can add column and re-optimize100 %
    Can change bounds and re-optimize100 %
    Can add cut and column and re-optimize25 %
    Can change objective function and re-optimize100 %
    Can change right-hand side and re-optimize100 %
    Can change left-hand side and re-optimize100 %
    Can remove a constraint and re-optimize100 %
    Can remove a variable and re-optimize100 %
    Can add and remove the same variable and re-optimize100 %
    Can add and remove a different variable and re-optimize100 %
    Can add and remove the same constraint100 %
    Can add and remove a different constraint100 %
    Can add a constraint which depends on a variable that is then removed100 %
    Can add a variable which depends on a constraint that is then removed100 %
    Can update a variable's bound then remove it100 %
    Can change the objective function then remove a variable which appears in the objective function100 %
    Can update the objective function constant100 %

    Can solve an infeasible LP

    Tested FeatureOutcome
    Can retrieve a Farkas certificate100 %
    Throws an exception if primal values are asked100 %
    Throws an exception if dual values are asked100 %
    Throws an exception if (primal) ray is asked100 %
    Throws an exception if reduced costs are asked50 %

    Can solve an unbounded LP

    Tested FeatureOutcome
    Can retrieve a dual ray100 %
    Throws an exception if primal values are asked100 %
    Throws an exception if dual values are asked100 %
    Throws an exception if farkas certificate is asked100 %
    Throws an exception if reduced costs are asked50 %

    MILP

    Can solve a feasible MIP which is integer at the root node

    Tested FeatureOutcome
    Can retrieve primal solution100 %
    Can retrieve the number of solutions100 %
    Can iterate over solutions100 %

    Can solve a feasible MIP which is not integer at the root node

    Tested FeatureOutcome
    Can retrieve the primal solution100 %
    Can retrieve the number of solutions100 %
    Can iterate over solutions100 %

    Can solve an infeasible MIP which is infeasible at root node

    Tested FeatureOutcome
    Can retrieve the solution status100 %
    Can retrieve the number of solutions100 %
    Can compute an irreducible infeasible sub-system-

    Can solve an infeasible MIP which is feasible at the root node

    Tested FeatureOutcome
    Can retrieve the solution status100 %
    Can retrieve the number of solutions100 %
    Can compute an irreducible infeasible sub-system-

    Can solve an unbounded MIP

    Tested FeatureOutcome
    Can retrieve the solution status100 %
    Can retrieve the number of solutions100 %

    Can set parameters of the underlying solver

    Tested FeatureOutcome
    Can set a time limit100 %
    Can turn off presolve100 %
    Can activate infeasible or unbounded info100 %
    Can set a thread limit100 %
    Can set a relative MIP gap100 %
    Can set an absolute MIP gap100 %
    Can set a best bound stop100 %
    Can set a best obj stop100 %
    Can set an iteration limit100 %
    Can turn on logs100 %

    Callbacks

    Can add universal callbacks to monitor the execution of the algorithm

    Tested FeatureOutcome
    Can retrieve root node gap0 %
    Can retrieve root node solution0 %
    Can access nodes' solutions0 %
    Can access integer solutions0 %

    Can add universal callbacks to influence the execution of the algorithm

    Tested FeatureOutcome
    Can add user cut-
    Can add lazy constraint-
    Can terminate the algorithm-
  • Raw This is the raw XML report generated by Catch2.
    <?xml version="1.0" encoding="UTF-8"?>
    <Catch2TestRun name="test_wrapper_HiGHS" rng-seed="3855936892" xml-format-version="2" catch2-version="3.3.2">
    <TestCase name="Can solve a feasible LP" tags="[LP]" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="23">
    <Section name="Can retrieve primal solution" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="48">
    <OverallResults successes="8" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve dual solution" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="63">
    <OverallResults successes="10" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve reduced costs" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="81">
    <OverallResults successes="5" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if primal ray is asked" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="93">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if farkas certificate is asked" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="98">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can write a model to a file and read it back" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="103">
    <Expression success="false" type="CHECK" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="109">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="false" skips="0"/>
    </TestCase>
    <TestCase name="Can update and re-optimize a feasible LP" tags="[LP]" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="181">
    <Section name="Can add cut and re-optimize" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="194">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add column and re-optimize" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="202">
    <OverallResults successes="4" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can change bounds and re-optimize" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="211">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add cut and column and re-optimize" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="219">
    <Expression success="false" type="CHECK" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="224">
    <Original>
    model.get_best_obj() == 2._a
    </Original>
    <Expanded>
    0.0 == Approx( 2.0 )
    </Expanded>
    </Expression>
    <Expression success="false" type="CHECK" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="225">
    <Original>
    model.get_var_primal(x) == 1._a
    </Original>
    <Expanded>
    -0.0 == Approx( 1.0 )
    </Expanded>
    </Expression>
    <Expression success="false" type="CHECK" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="226">
    <Original>
    model.get_var_primal(y) == 1._a
    </Original>
    <Expanded>
    0.0 == Approx( 1.0 )
    </Expanded>
    </Expression>
    <OverallResults successes="1" failures="3" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can change objective function and re-optimize" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="229">
    <OverallResults successes="1" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can change right-hand side and re-optimize" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="235">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can change left-hand side and re-optimize" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="243">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can remove a constraint and re-optimize" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="252">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can remove a variable and re-optimize" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="259">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add and remove the same variable and re-optimize" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="266">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add and remove a different variable and re-optimize" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="274">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add and remove the same constraint" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="283">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add and remove a different constraint" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="292">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add a constraint which depends on a variable that is then removed" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="301">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add a variable which depends on a constraint that is then removed" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="309">
    <OverallResults successes="4" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can update a variable's bound then remove it" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="320">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can change the objective function then remove a variable which appears in the objective function" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="328">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can update the objective function constant" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="336">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="false" skips="0"/>
    </TestCase>
    <TestCase name="Can solve an infeasible LP" tags="[LP]" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="346">
    <Section name="Can retrieve a Farkas certificate" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="369">
    <OverallResults successes="7" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if primal values are asked" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="385">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if dual values are asked" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="390">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if (primal) ray is asked" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="395">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if reduced costs are asked" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="400">
    <Expression success="false" type="CHECK_THROWS" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="401">
    <Original>
    model.get_var_reduced_cost(u)
    </Original>
    <Expanded>
    model.get_var_reduced_cost(u)
    </Expanded>
    </Expression>
    <OverallResults successes="1" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="false" skips="0"/>
    </TestCase>
    <TestCase name="Can solve an unbounded LP" tags="[LP]" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="407">
    <Section name="Can retrieve a dual ray" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="430">
    <OverallResults successes="7" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if primal values are asked" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="448">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if dual values are asked" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="453">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if farkas certificate is asked" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="458">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if reduced costs are asked" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="463">
    <Expression success="false" type="CHECK_THROWS" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="464">
    <Original>
    model.get_var_reduced_cost(x)
    </Original>
    <Expanded>
    model.get_var_reduced_cost(x)
    </Expanded>
    </Expression>
    <OverallResults successes="1" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="false" skips="0"/>
    </TestCase>
    <TestCase name="Can solve a feasible MIP which is integer at the root node" tags="[MILP]" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="20">
    <Section name="Can retrieve primal solution" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="44">
    <OverallResults successes="6" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve the number of solutions" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="57">
    <OverallResults successes="1" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can iterate over solutions" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="61">
    <OverallResults successes="1" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="true" skips="0"/>
    </TestCase>
    <TestCase name="Can solve a feasible MIP which is not integer at the root node" tags="[MILP]" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="70">
    <Section name="Can retrieve the primal solution" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="93">
    <OverallResults successes="11" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve the number of solutions" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="119">
    <OverallResults successes="1" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can iterate over solutions" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="123">
    <OverallResults successes="1" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="true" skips="0"/>
    </TestCase>
    <TestCase name="Can solve an infeasible MIP which is infeasible at root node" tags="[MILP]" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="131">
    <Section name="Can retrieve the solution status" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="148">
    <Section name="Can retrieve the solution status" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="153">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResults successes="5" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve the number of solutions" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="165">
    <OverallResults successes="1" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can compute an irreducible infeasible sub-system" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="169">
    <Skip filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="173">
    The solver does not implement IIS computation.
    </Skip>
    <OverallResults successes="0" failures="0" expectedFailures="0" skipped="true"/>
    </Section>
    <OverallResult success="true" skips="1"/>
    </TestCase>
    <TestCase name="Can solve an infeasible MIP which is feasible at the root node" tags="[MILP]" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="179">
    <Section name="Can retrieve the solution status" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="197">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve the number of solutions" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="208">
    <OverallResults successes="1" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can compute an irreducible infeasible sub-system" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="212">
    <Skip filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="216">
    The solver does not implement IIS computation.
    </Skip>
    <OverallResults successes="0" failures="0" expectedFailures="0" skipped="true"/>
    </Section>
    <OverallResult success="true" skips="1"/>
    </TestCase>
    <TestCase name="Can solve an unbounded MIP" tags="[MILP]" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="222">
    <Section name="Can retrieve the solution status" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="234">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve the number of solutions" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="245">
    <OverallResults successes="1" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="true" skips="0"/>
    </TestCase>
    <TestCase name="Can set parameters of the underlying solver" tags="[MILP]" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="251">
    <Section name="Can set a time limit" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="258">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can turn off presolve" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="263">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can activate infeasible or unbounded info" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="268">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can set a thread limit" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="273">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can set a relative MIP gap" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="278">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can set an absolute MIP gap" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="283">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can set a best bound stop" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="288">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can set a best obj stop" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="293">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can set an iteration limit" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="298">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can turn on logs" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="303">
    <OverallResults successes="4" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="true" skips="0"/>
    </TestCase>
    <TestCase name="Can add universal callbacks to monitor the execution of the algorithm" tags="[Callbacks]" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="35">
    <Section name="Can retrieve root node gap" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="37">
    <Expression success="false" type="CHECK" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="41">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve root node solution" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="44">
    <Expression success="false" type="CHECK" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="48">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can access nodes' solutions" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="51">
    <Expression success="false" type="CHECK" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="55">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can access integer solutions" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="58">
    <Expression success="false" type="CHECK" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="62">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="false" skips="0"/>
    </TestCase>
    <TestCase name="Can add universal callbacks to influence the execution of the algorithm" tags="[Callbacks]" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="67">
    <Section name="Can add user cut" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="72">
    <Skip filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="77">
    The solver does not implement such callbacks.
    </Skip>
    <OverallResults successes="0" failures="0" expectedFailures="0" skipped="true"/>
    </Section>
    <Section name="Can add lazy constraint" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="82">
    <Skip filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="112">
    The solver does not implement such callbacks.
    </Skip>
    <OverallResults successes="0" failures="0" expectedFailures="0" skipped="true"/>
    </Section>
    <Section name="Can terminate the algorithm" filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="117">
    <Skip filename="/home/runner/work/idol/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="122">
    The solver does not implement such callbacks.
    </Skip>
    <OverallResults successes="0" failures="0" expectedFailures="0" skipped="true"/>
    </Section>
    <OverallResult success="true" skips="3"/>
    </TestCase>
    <OverallResults successes="194" failures="10" expectedFailures="0" skips="5"/>
    <OverallResultsCases successes="4" failures="5" expectedFailures="0" skips="3"/>
    </Catch2TestRun>
Generated by doxygen 1.16.1