DistB: file output

Description

  • Think about splitting up file outputs on multiple runs

  • Output files if single model check is run

  • Clean up processes and log

Environment

None

Assignee

Philipp Koerner

Reporter

Philipp Koerner

Priority

Major