16 failing tests in tests/aiger when building Fedora RPM

### Version 0.65 (to be completely honest, it's commit #90c26fe from the `main` branch, but I see no practical difference :) ### On which OS did this happen? Linux ### Reproduction Steps `make test ABCEXTERNAL=/bin/abc SEED=314159265359` NOTE that /bin/abc is provided by `yosyshq-abc-0.65-1.20260512git5d51a5e.fc45.x86_64`, an RPM built based on github.com/yosyshq/abc release 0.65 ! ### Expected Behavior all tests succeed, return code 0 ### Actual Behavior 16 tests in `tests/aiger` fail, non-zero return code: ``` <mock-chroot> sh-5.3# cd build/BUILD/yosys-0.65-build/yosys-9yosys-90c26fe6714b441363d2ddb47a6d646b8868ff5d/ <mock-chroot> sh-5.3# rpm -qa | grep abc yosyshq-abc-libs-0.65-1.20260512git5d51a5e.fc45.x86_64 yosyshq-abc-0.65-1.20260512git5d51a5e.fc45.x86_64 <mock-chroot> sh-5.3# make test ABCEXTERNAL=/bin/abc SEED=314159265359 [Makefile.conf] CONFIG := gcc make[1]: Entering directory '/builddir/build/BUILD/yosys-0.65-build/yosys-90c26fe6714b441363d2ddb47a6d646b8868ff5d/tests' Generate FST for sim models Test tb_adff Test tb_adffe Test tb_adlatch Test tb_aldff Test tb_aldffe ... make[2]: Entering directory '/builddir/build/BUILD/yosys-0.65-build/yosys-90c26f e6714b441363d2ddb47a6d646b8868ff5d/tests/aiger' FAIL and_.aag FAIL and_to_bad_out.aag FAIL buffer.aag FAIL cnt1.aag FAIL cnt1e.aag FAIL empty.aag FAIL false.aag FAIL halfadder.aag FAIL inverter.aag FAIL notcnt1.aag FAIL notcnt1e.aag FAIL or_.aag FAIL symbols.aag FAIL toggle-re.aag FAIL toggle.aag FAIL true.aag PASS io.ys PASS neg.ys PASS aigmap make[2]: Leaving directory '/builddir/build/BUILD/yosys-0.65-build/yosys-90c26fe6714b441363d2ddb47a6d646b8868ff5d/tests/aiger' ... ========================== Tests: 2178 Passed: 2162 Failed: 16 ========================== ========================== Failing tests: aiger/and_.aag aiger/and_to_bad_out.aag aiger/buffer.aag aiger/cnt1.aag aiger/cnt1e.aag aiger/empty.aag aiger/false.aag aiger/halfadder.aag aiger/inverter.aag aiger/notcnt1.aag aiger/notcnt1e.aag aiger/or_.aag aiger/symbols.aag aiger/toggle-re.aag aiger/toggle.aag aiger/true.aag ========================== ... ```