Unknown Function/const RegexDigit error

z3str / Z3-str

A Z3-Based String Constraint Solver

Other

87 stars 13 forks source link

Unknown Function/const RegexDigit error #10

Closed aalhuz closed 8 years ago

aalhuz commented 8 years ago

I've tried to run the solver on one of the testcases regex-044 but I got this error Unknown Function/const RegexDigit

Thanks

z3str commented 8 years ago

Thanks! The test cases were not updated correctly and I just synced them. The previous one was for an older version. Actually, the operator "RegexDigit" has been removed due to some issues. Also, it seems to be clearer to use (RegexStar (RegexCharRange "0" "9") ).

Thanks, -Yunhui