Skip to content

Java: Pretty print models in nonce reuse test in experimental/quantum#20714

Merged
owen-mc merged 1 commit into
github:mainfrom
owen-mc:java/pretty-print-models-quantum-nonce-reuse
Nov 5, 2025
Merged

Java: Pretty print models in nonce reuse test in experimental/quantum#20714
owen-mc merged 1 commit into
github:mainfrom
owen-mc:java/pretty-print-models-quantum-nonce-reuse

Conversation

@owen-mc

@owen-mc owen-mc commented Oct 29, 2025

Copy link
Copy Markdown
Contributor

Otherwise the test output changes when unrelated models are added.

Otherwise the test output changes when unrelated models are added.
@owen-mc owen-mc requested a review from a team as a code owner October 29, 2025 12:04
Copilot AI review requested due to automatic review settings October 29, 2025 12:04
@github-actions github-actions Bot added the Java label Oct 29, 2025

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR updates the test configuration format for the NonceReuse test case from an old format to the newer YAML-style format with explicit query: and postprocess: labels. The expected test results file is also regenerated to reflect the output format produced by the postprocessing step.

  • Updated .qlref file from legacy format to labeled format with query: and postprocess: directives
  • Regenerated .expected file with postprocessed output including normalized model references and reorganized section ordering

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File Description
NonceReuse.qlref Updated test configuration format to use explicit query: and postprocess: labels
NonceReuse.expected Regenerated expected test output with postprocessed model references and reorganized sections

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread java/ql/test/experimental/query-tests/quantum/examples/NonceReuse/NonceReuse.qlref Dismissed
@owen-mc owen-mc merged commit 85175f6 into github:main Nov 5, 2025
17 checks passed
@owen-mc owen-mc deleted the java/pretty-print-models-quantum-nonce-reuse branch November 5, 2025 09:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants