generated from amazon-archives/__template_Apache-2.0
-
Notifications
You must be signed in to change notification settings - Fork 129
Closed
Labels
Z-BenchcompIssues related to the benchcomp performance comparison scriptIssues related to the benchcomp performance comparison script[C] Feature / EnhancementA new feature request or enhancement to an existing feature.A new feature request or enhancement to an existing feature.
Description
Currently, the dump_yaml
visualization prints to stdout unconditionally.
It would be good for all visualizations that print something to be able to print it to a file. This means that we can have several sequential visualizations, each writing their output to a different file. This is useful in CI for example, where we might wish to save the file as an artifact. It also ensures that we can separate the outputs of different visualizations.
This can use the existing implementation of Outfile
, where a value of -
means "write to stdout".
Metadata
Metadata
Assignees
Labels
Z-BenchcompIssues related to the benchcomp performance comparison scriptIssues related to the benchcomp performance comparison script[C] Feature / EnhancementA new feature request or enhancement to an existing feature.A new feature request or enhancement to an existing feature.