Quality test are not passing.

[boschmitt]

There is an error in the [quality] tests which is not only about quality differences (regressions).
(Seems to be a problem with partial truth tables.)

Assertion failed: (first.num_vars() == second.num_vars()), function binary_operation, file /mockturtle/lib/kitty/kitty/algorithm.hpp, line 101.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
run_tests is a Catch v2.5.0 host application.
Run with -? for options

-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Test quality improvement of MIG k-resubstitution
-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
/mockturtle/test/algorithms/quality.cpp:202
...........................................................................................................................................................................................................................................................................................................

/mockturtle/test/algorithms/quality.cpp:202: FAILED:
due to a fatal error condition:
  SIGABRT - Abort (abnormal termination) signal

===========================================================================================================================================================================================================================================================================================================
test cases:  173 |  172 passed | 1 failed
assertions: 6107 | 6106 passed | 1 failed

fish: Job 1, './test/run_tests' terminated by signal SIGABRT (Abort)

[lee30sonia]

Thanks for noticing! It is fixed with PR #482