MacOs GitHub Actions have suddenly started to fail on the test:

 rust-tests/cbmc-reg/FatPointers/slice2.rs

See the following run: https://github.com/model-checking/rmc/actions/runs/860971843

The failure does not reproduce locally. #133 will disable this test for the time being.