Propagate stdout and stderr of backend tools to Output tab
Registered by
Danil Sokolov
Currently the output of backend tools is hidden from the user. This is inconvenient if some extra information is needed about the performed task.
One of solutions is to copy all stdout to Output tab and all stderr to the Problems tab.
A better solution is to mix the stdout and stderr to the same Output tab.
Blueprint information
- Status:
- Complete
- Approver:
- None
- Priority:
- Low
- Drafter:
- Danil Sokolov
- Direction:
- Needs approval
- Assignee:
- Danil Sokolov
- Definition:
- Review
- Series goal:
- None
- Implementation:
-
Implemented
- Milestone target:
-
3.0.8
- Started by
- Danil Sokolov
- Completed by
- Danil Sokolov
Related branches
Related bugs
Sprints
Whiteboard
(?)
Work Items
Work items:
Support the output of stdout and stderr of external processes to Output tab: DONE
Add options to external tools to print stdout and stderr: DONE
Add new line to the end of output if needed (MPSat, Punf, PComp): DONE
