Skip to content

Conversation

@zhassan-aws
Copy link
Contributor

Description of changes:

Testing adding a new perf test.

Resolved issues:

Related RFC:

Optional #ISSUE-NUMBER.

Call-outs:

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@celinval
Copy link
Contributor

celinval commented May 3, 2023

It looks like benchcomp has an issue with diffs in the test suite. 😔

@zhassan-aws
Copy link
Contributor Author

zhassan-aws commented May 3, 2023

Yes, I noticed that in #2421, and filed this PR to reproduce the issue. I created #2424 to track this.

@zhassan-aws zhassan-aws marked this pull request as ready for review May 11, 2023 17:26
@zhassan-aws zhassan-aws requested a review from a team as a code owner May 11, 2023 17:26
@zhassan-aws zhassan-aws enabled auto-merge (squash) May 11, 2023 23:22
@zhassan-aws zhassan-aws merged commit 2e06509 into model-checking:main May 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants