Martin Hořeňovský 5c9f09e94a Add support for bitwise xor to the decomposer

2020-04-21 19:27:12 +02:00

..

ExtraTests

Fixed typo in "benchmark name" column width calculation. Closes #1885.

2020-03-26 10:31:35 +01:00

SelfTest

Add support for bitwise xor to the decomposer

2020-04-21 19:27:12 +02:00

TestScripts

Randomize test for subset invariant random ordering of tests

2020-04-14 16:38:10 +02:00

XCode/OCTest

Fix typos identified by codespell.

2019-04-10 09:42:11 +02:00

CMakeLists.txt

Add test for consistent random ordering

2020-04-14 12:47:36 +02:00