search

swtv-kaist / cs458-fall22

1 stars 0 forks source link

QF_BV: arity of op1 and op2 #40

Open KimNaRyeong opened 1 year ago

KimNaRyeong commented 1 year ago

form of op1: (op1 BitVec[m] BitVec[m]) form of op2: (op2 BitVec[m] BitVec[m] BitBec[m])

But (bvslt BitVec[m] BitVec[m]) works without error and (bvneg BitVeg[m]) doesn't work with error. What is the reason?

moonzoo commented 1 year ago

Would you write your question in more detail? You seems to be confused with funs_description and preds_description.