SignedProperties and SignedIntegralProperties tests failing on aarch64

[r0man]

Hello,

GNU Guix is packaging rapidcheck and runs its tests. There seems to be a
failure when running the test suite on the aarch64 architecture on an Apple
M1. I'm disabling this test for now, but it would be great to have this fixed
upstream.

The failing tests are:

• SignedProperties
• SignedIntegralProperties

starting phase `check'
Running tests...
/gnu/store/66r04vzh9g73icvk055ska15d8jx4pai-cmake-minimal-3.24.2/bin/ctest --force-new-ctest-process
Test project /tmp/guix-build-rapidcheck-0.0.0-1.ff6af6f.drv-0/build
    Start 1: rapidcheck_tests
1/2 Test #1: rapidcheck_tests .................***Failed    8.11 sec
Using configuration: seed=17328312223124439022

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
rapidcheck_tests is a Catch v2.13.8 host application.
Run with -? for options

-------------------------------------------------------------------------------
arbitrary integers
  P(value > 0) ~ P(value < 0) (char)
-------------------------------------------------------------------------------
/tmp/guix-build-rapidcheck-0.0.0-1.ff6af6f.drv-0/source/extras/catch/include/rapidcheck/catch.h:27
...............................................................................

/tmp/guix-build-rapidcheck-0.0.0-1.ff6af6f.drv-0/source/extras/catch/include/rapidcheck/catch.h:52: FAILED:
explicitly with message:
  Falsifiable after 1 tests

std::tuple<rc::Random>:
  (key=[0, 0, 0, 0], block=[0, 0, 0, 0], bits=0, counter=0, bitsi=0)

int:
  50

/tmp/guix-build-rapidcheck-0.0.0-1.ff6af6f.drv-0/source/test/gen/
  NumericTests.cpp:157:
  RC_ASSERT(avg < 0.08)

Expands to:
  0.9354 < 0.08

-------------------------------------------------------------------------------
shrink::integral
  shrinks negative values to their positive equivalent (char)
-------------------------------------------------------------------------------
/tmp/guix-build-rapidcheck-0.0.0-1.ff6af6f.drv-0/source/extras/catch/include/rapidcheck/catch.h:27
...............................................................................

/tmp/guix-build-rapidcheck-0.0.0-1.ff6af6f.drv-0/source/extras/catch/include/rapidcheck/catch.h:52: FAILED:
explicitly with message:
  Gave up after 0 tests

Generation failed with message:
  Gave up trying to generate value satisfying predicate.

===============================================================================
test cases:  176 |  174 passed | 2 failed
assertions: 1890 | 1888 passed | 2 failed


    Start 2: rapidcheck_boost_tests
2/2 Test #2: rapidcheck_boost_tests ...........   Passed    0.01 sec

50% tests passed, 1 tests failed out of 2

Total Test time (real) =   8.12 sec

The following tests FAILED:
          1 - rapidcheck_tests (Failed)
Errors while running CTest
make: *** [Makefile:74: test] Error 8

Test suite failed, dumping logs.
error: in phase 'check': uncaught exception:
%exception #<&invoke-error program: "make" arguments: ("test" "-j" "10") exit-status: 2 term-signal: #f stop-signal: #f>
phase `check' failed after 8.1 seconds
command "make" "test" "-j" "10" failed with status 2
note: keeping build directory `/tmp/guix-build-rapidcheck-0.0.0-1.ff6af6f.drv-0'
builder for `/gnu/store/1kcb3licfvqsmswklr6zsnfn58d71sw7-rapidcheck-0.0.0-1.ff6af6f.drv' failed with exit code 1
build of /gnu/store/1kcb3licfvqsmswklr6zsnfn58d71sw7-rapidcheck-0.0.0-1.ff6af6f.drv failed
Could not find build log for '/gnu/store/1kcb3licfvqsmswklr6zsnfn58d71sw7-rapidcheck-0.0.0-1.ff6af6f.drv'.
guix build: error: build of `/gnu/store/1kcb3licfvqsmswklr6zsnfn58d71sw7-rapidcheck-0.0.0-1.ff6af6f.drv' failed

Any ideas how to fix this?

Thanks, Roman.