Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Adding regressions tests for output based on output configuration #3412

Open
Alexander-Aghili opened this issue Aug 4, 2024 · 0 comments
Open

Adding regressions tests for output based on output configuration #3412

Alexander-Aghili opened this issue Aug 4, 2024 · 0 comments
Labels
[C] Internal Tracks some internal work. I.e.: Users should not be affected.

Comments

@Alexander-Aghili
Copy link
Contributor

Proposed change:
Adding regressions tests to determine if the output is correct for Kani based on the configuration from issue/PR:
#3360
#3356
Motivation:
Ensure correctness.
@Alexander-Aghili Alexander-Aghili added the [C] Internal Tracks some internal work. I.e.: Users should not be affected. label Aug 4, 2024
@Alexander-Aghili Alexander-Aghili mentioned this issue Aug 4, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
[C] Internal Tracks some internal work. I.e.: Users should not be affected.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Alexander-Aghili