@@ -41,20 +41,23 @@ namespace opdi {
4141 }
4242
4343 virtual void reverseImplicitTaskBegin (ImplicitTaskData* data) {
44+ assert (tool != nullptr );
4445 TapedOutput::print (" R IMTB l" , data->level ,
4546 " t" , data->indexInTeam ,
4647 " tape" , data->newTape ,
4748 " pos" , tool->positionToString (data->positions .back ()));
4849 }
4950
5051 virtual void reverseImplicitTaskEnd (ImplicitTaskData* data) {
52+ assert (tool != nullptr );
5153 TapedOutput::print (" R IMTE l" , data->level ,
5254 " t" , data->indexInTeam ,
5355 " tape" , data->newTape ,
5456 " pos" , tool->positionToString (data->positions .front ()));
5557 }
5658
5759 virtual void reverseImplicitTaskPart (ImplicitTaskData* data, std::size_t part) {
60+ assert (tool != nullptr );
5861 TapedOutput::print (" R IMTP l" , data->level ,
5962 " t" , data->indexInTeam ,
6063 " tape" , data->newTape ,
@@ -68,6 +71,7 @@ namespace opdi {
6871 TapedOutput::print (" F IMTB IIT" );
6972 }
7073 else {
74+ assert (tool != nullptr );
7175 TapedOutput::print (" F IMTB l" , data->level ,
7276 " t" , data->indexInTeam ,
7377 " tape" , data->newTape ,
@@ -81,6 +85,7 @@ namespace opdi {
8185 TapedOutput::print (" F IMTE IIT" );
8286 }
8387 else {
88+ assert (tool != nullptr );
8489 TapedOutput::print (" F IMTE l" , data->level ,
8590 " t" , data->indexInTeam ,
8691 " tape" , data->newTape ,
0 commit comments