Fix regression #1072 - parse output file not being created#1073

Merged

shonfeder merged 14 commits intounstablefrom shon/fix-1072

Nov 4, 2021

+163-49

Commits on Nov 3, 2021

Fix integration tests to check for parse file creation
Shon Feder
committed
Add writer construction utilities to OutputManager
Shon Feder
committed
Restore ability to write parsing to --output file
Shon Feder
committed
Fix formatting
Shon Feder
committed
Fix docs
Shon Feder
committed
Fix logic error in writing logic
Shon Feder
committed
Update changelog
Shon Feder
committed
Fix failing tests
Shon Feder
committed

Commits on Nov 4, 2021

Work with files instead of writer
Shon Feder
committed
Fix formatting and test
Shon Feder
committed
Update tla-io/src/main/scala/at/forsyte/apalache/io/OutputManager.scala

Shon Feder
and
konnov
authored
Log error if intermediate dir can't exist
Shon Feder
committed
Cleanup docs and code structure
Shon Feder
committed
Fix formatting
Shon Feder
committed