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 f4fc2dab2c
commit 5c9f09e94a
7 changed files with 42 additions and 5 deletions

View File

@@ -1381,5 +1381,5 @@ due to unexpected exception with message:
===============================================================================
test cases: 310 | 236 passed | 70 failed | 4 failed as expected
assertions: 1699 | 1547 passed | 131 failed | 21 failed as expected
assertions: 1701 | 1549 passed | 131 failed | 21 failed as expected