Closed mimoo closed 2 years ago
if I pass a boolean as private argument of main, I think it won't have a constraint that checks that it is a boolean (x(x-1) = 0). This is a bug!
x(x-1) = 0
if I pass a boolean as private argument of main, I think it won't have a constraint that checks that it is a boolean (
x(x-1) = 0). This is a bug!