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

ChainProcessor infers measure of the wrong type #726

Closed
romac opened this issue Jan 27, 2020 · 1 comment
Closed

ChainProcessor infers measure of the wrong type #726

romac opened this issue Jan 27, 2020 · 1 comment
Labels
bug measure-inference

Comments

@romac
Copy link
Member

romac commented Jan 27, 2020

In #721, the ChainProcessor infers a measure of the wrong type for the following benchmarks, which triggers a runtime exception as it tries to call tupleSelect on values which are not tuples.

  • verification/valid/Nested14
  • verification/valid/Nested16
@rjraya rjraya mentioned this issue Apr 1, 2021
Merged
@jad-hamza
Copy link
Contributor

Closed by #967

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug measure-inference
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@romac @jad-hamza