Skip to content

[coq] Add test cases for flags#4748

Merged
ejgallego merged 1 commit intoocaml:mainfrom
ejgallego:coq+flags_test
Jun 19, 2021
Merged

[coq] Add test cases for flags#4748
ejgallego merged 1 commit intoocaml:mainfrom
ejgallego:coq+flags_test

Conversation

@ejgallego
Copy link
Copy Markdown
Collaborator

This wasn't done in the past as to avoid the ugly grep, but the flag
logic is delicate so we must start testing it properly.

@ejgallego ejgallego added this to the 2.9 milestone Jun 17, 2021
@ejgallego ejgallego force-pushed the coq+flags_test branch 2 times, most recently from a77c5ba to 059d32a Compare June 17, 2021 15:31
@ejgallego
Copy link
Copy Markdown
Collaborator Author

Fails as expected, as this also covers the bug #4749 fixes.

This wasn't done in the past as to avoid the ugly grep, but the flag
logic is delicate so we must start testing it properly.

Signed-off-by: Emilio Jesus Gallego Arias <e+git@x80.org>
@ejgallego ejgallego merged commit c396a64 into ocaml:main Jun 19, 2021
@ejgallego ejgallego deleted the coq+flags_test branch June 19, 2021 16:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

1 participant