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

ComputationTest.ConvertToOmega Unittest bug #163

Open
kalyanbhetwal opened this issue Nov 11, 2021 · 2 comments
Open

ComputationTest.ConvertToOmega Unittest bug #163

kalyanbhetwal opened this issue Nov 11, 2021 · 2 comments
Assignees
@tpops
Labels
invalid This doesn't seem right

Comments

@kalyanbhetwal
Copy link

ComputationTest.ConvertToOmega Unittest issue in the below section.
@kalyanbhetwal
Copy link
Author

checkOmegaSetConversion( "{[i,j]: A(i) = A(j) && A(i,j) = A(j)}", "{[i,j]: A_0(i) = A_1(i,j) && A_2(i,j) = A_1(i,j)}");

@tpops tpops added the invalid This doesn't seem right label Jun 23, 2022
@tpops
Copy link
Member

tpops commented Jun 23, 2022

This is a bad test case as an Uninterpreted function should not have two arities in the same set. I will be moving this to invalid

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tpops tpops

Labels
invalid This doesn't seem right
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tpops @kalyanbhetwal