print used ssc marks

python/dune/codegen/pdelab/driver/timings.py

@@ -185,7 +185,9 @@ def stop_region_timer(region):
         return ["LIKWID_MARKER_STOP(\"{}\");".format(region)]
     elif get_option("use_sde"):
         _sde_marks[region + '_stop'] = len(_sde_marks)
-        return ["__SSC_MARK(0x{});".format(_sde_marks[region + '_stop'])]
+        return ["__SSC_MARK(0x{});".format(_sde_marks[region + '_stop']),
+                "std::cout << \"Timed region {}: {} <--> {}\" << std::endl;".format(region, _sde_marks[region + '_start'],
+                                                                                    _sde_marks[region + '_stop'])]
     else:
         timestream = name_timing_stream()
         return ["HP_TIMER_STOP({});".format(region),