Is KIND2 supports bitwise operators? #1000
-
|
Hi, I tried to input this code to KIND2 ，but it seems like KIND2 cannot parse it correctly. |
Beta Was this translation helpful? Give feedback.
Answered by
daniel-larraz
Aug 15, 2023
Replies: 1 comment 1 reply
-
|
Yes, Kind 2 supports bit-wise operators. You can find the list of supported operators in the documentation. The correct syntax for your example is: |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
Thank you! |
Beta Was this translation helpful? Give feedback.
Answer selected by
kumori123
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Yes, Kind 2 supports bit-wise operators. You can find the list of supported operators in the documentation.
The correct syntax for your example is: