Skip to content

Failing regression in MacOs CI #134

@adpaco-aws

Description

@adpaco-aws

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.

Metadata

Metadata

Assignees

Labels

[C] BugThis is a bug. Something isn't working.

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions