Add support for bitwise xor to the decomposer

This commit is contained in:
Martin Hořeňovský
2020-04-21 19:27:12 +02:00
parent 4aefbbcd02
commit 5b8cccaf6a
8 changed files with 47 additions and 6 deletions

View File

@@ -1381,5 +1381,5 @@ due to unexpected exception with message:
===============================================================================
test cases: 335 | 261 passed | 70 failed | 4 failed as expected
assertions: 1895 | 1743 passed | 131 failed | 21 failed as expected
assertions: 1897 | 1745 passed | 131 failed | 21 failed as expected