search

BoiseState-AdaptLab / IEGenLib

Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2 stars 4 forks source link

ComputationTest.ConvertToOmega Unittest bug #163

Open kalyanbhetwal opened 2 years ago

kalyanbhetwal commented 2 years ago

ComputationTest.ConvertToOmega Unittest issue in the below section.

kalyanbhetwal commented 2 years ago

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 commented 2 years ago

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