mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-09 15:13:31 -04:00
3e12000d97
The circt-synth mig.mlir integration test was missing the libz3 and circt-lec-jit REQUIRES guards that every sibling LEC test carries, so it ran its circt-lec JIT commands and failed on unresolved Z3 symbols instead of being skipped. Patch it to add the guards. Closes: https://bugs.gentoo.org/977874 Signed-off-by: Huang Rui <vowstar@gmail.com>