Skip to content

Add all possible failures to GobYaml.to_string'#2056

Merged
sim642 merged 1 commit into
masterfrom
yaml-failed
Jun 16, 2026
Merged

Add all possible failures to GobYaml.to_string'#2056
sim642 merged 1 commit into
masterfrom
yaml-failed

Conversation

@sim642

@sim642 sim642 commented Jun 15, 2026

Copy link
Copy Markdown
Member

Based on ocaml-yaml source.

PR #1882 adds mapping_start, so let's just add all of them now.

@sim642 sim642 added this to the v2.9.0 milestone Jun 15, 2026
@sim642 sim642 added the bug label Jun 15, 2026
Copilot AI review requested due to automatic review settings June 15, 2026 10:35
@sim642 sim642 added the sv-comp SV-COMP (analyses, results), witnesses label Jun 15, 2026

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

Expands GobYaml.to_string'’s retry-on-too-short-buffer logic to recognize more ocaml-yaml emitter failure cases, so YAML serialization can succeed by increasing ~len instead of returning an error.

Changes:

  • Extend the set of Yaml.to_string failure messages that trigger a retry with doubled len.

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

Comment thread src/util/std/gobYaml.ml
@sim642 sim642 merged commit 7f365c7 into master Jun 16, 2026
14 of 21 checks passed
@sim642 sim642 deleted the yaml-failed branch June 16, 2026 12:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug sv-comp SV-COMP (analyses, results), witnesses

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants