Skip to content

Add --single-log option to prism-auto#280

Merged
davexparker merged 1 commit into
prismmodelchecker:masterfrom
davexparker:singlelog
May 16, 2026
Merged

Add --single-log option to prism-auto#280
davexparker merged 1 commit into
prismmodelchecker:masterfrom
davexparker:singlelog

Conversation

@davexparker
Copy link
Copy Markdown
Member

Summary

  • Adds --single-log FILE option to prism-auto to store PRISM output for all runs in a single shared file
  • Uses -mainlog FILE:append to append each run's output, tracking the file offset before each run so test result / DD warning scanning only reads lines from that run
  • Directory for the single log file is created automatically if it does not exist

Test plan

  • prism-auto --single-log out.log ... — creates out.log fresh, appends each run's output
  • Re-run — out.log is truncated at start (fresh log per prism-auto invocation)
  • Test results and DD warnings are correctly attributed to each run (not the whole file)
  • --single-log path/to/new/dir/out.log — missing directory is created automatically
  • --single-log and -l/--log used together — confirm no interference

🤖 Generated with Claude Code

Stores PRISM output for all runs in a single file.
@davexparker davexparker merged commit 4f2fc0f into prismmodelchecker:master May 16, 2026
6 checks passed
@davexparker davexparker deleted the singlelog branch May 16, 2026 18:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant