Skip to content
This repository was archived by the owner on Apr 25, 2024. It is now read-only.

Bug report improvements #623

Merged
merged 7 commits into from
Aug 27, 2023
Merged

Bug report improvements #623

merged 7 commits into from
Aug 27, 2023

Conversation

ehildenb
Copy link
Member

This PR enables more bulk-collection of bug reports. In particular:

  • KCLIArgs gets a new field bug_report_args for downstream tools that want to enable bug reports.
  • The pytest plugin we ship with pyk comes with a new argument --bug-report-dir, which specifies where to dump bug reports for a given test run. It also names the bug reports it generates based on the name of the testing slug.

@rv-jenkins rv-jenkins merged commit 8a27ac0 into master Aug 27, 2023
@rv-jenkins rv-jenkins deleted the bug-report-improvements branch August 27, 2023 23:03
Baltoli pushed a commit to runtimeverification/k that referenced this pull request Apr 9, 2024
This PR enables more bulk-collection of bug reports. In particular:

- `KCLIArgs` gets a new field `bug_report_args` for downstream tools
that want to enable bug reports.
- The `pytest` plugin we ship with pyk comes with a new argument
`--bug-report-dir`, which specifies where to dump bug reports for a
given test run. It also names the bug reports it generates based on the
name of the testing slug.

---------

Co-authored-by: devops <[email protected]>
Baltoli pushed a commit to runtimeverification/k that referenced this pull request Apr 9, 2024
This PR enables more bulk-collection of bug reports. In particular:

- `KCLIArgs` gets a new field `bug_report_args` for downstream tools
that want to enable bug reports.
- The `pytest` plugin we ship with pyk comes with a new argument
`--bug-report-dir`, which specifies where to dump bug reports for a
given test run. It also names the bug reports it generates based on the
name of the testing slug.

---------

Co-authored-by: devops <[email protected]>
Baltoli pushed a commit to runtimeverification/k that referenced this pull request Apr 10, 2024
This PR enables more bulk-collection of bug reports. In particular:

- `KCLIArgs` gets a new field `bug_report_args` for downstream tools
that want to enable bug reports.
- The `pytest` plugin we ship with pyk comes with a new argument
`--bug-report-dir`, which specifies where to dump bug reports for a
given test run. It also names the bug reports it generates based on the
name of the testing slug.

---------

Co-authored-by: devops <[email protected]>
Baltoli pushed a commit to runtimeverification/k that referenced this pull request Apr 10, 2024
This PR enables more bulk-collection of bug reports. In particular:

- `KCLIArgs` gets a new field `bug_report_args` for downstream tools
that want to enable bug reports.
- The `pytest` plugin we ship with pyk comes with a new argument
`--bug-report-dir`, which specifies where to dump bug reports for a
given test run. It also names the bug reports it generates based on the
name of the testing slug.

---------

Co-authored-by: devops <[email protected]>
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants