https://bugzilla.redhat.com/show_bug.cgi?id=1850262
--- Comment #5 from Jerry James <loganjerry(a)gmail.com> ---
(In reply to dan.cermak from comment #3)
Upstream has deliberately caused a test failure on big endian architectures. I
will see if the code is easy to port and submit a patch upstream if it is.
Otherwise, I'll have to add ExcludeArch: s390x and do likewise for the kissat
dependency in cvc4.
I don't yet know what's going on with the 32-bit architectures, but will look
into that next.
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component