Skip to content
Snippets Groups Projects

Resolve "SolverManager profiling extra results"

Merged Joan Vallvé Navarro requested to merge 439-solvermanager-profiling-extra-results into devel
3 files
+ 5
5
Compare changes
  • Side-by-side
  • Inline
Files
3
+ 1
1
@@ -1145,7 +1145,7 @@ void Problem::print(int _depth, bool _constr_by, bool _metric, bool _state_block
{
_stream << std::endl;
_stream << "P: wolf tree status ---------------------" << std::endl;
_stream << "Wolf tree status ------------------------" << std::endl;
getHardware()->print(_depth, _constr_by, _metric, _state_blocks, _stream, "");
Loading