Disable regression test failing in CI but not locally (#133)

model-checking · Aug 24, 2021 · 8c78f3e · 8c78f3e
1 parent bcca968
commit 8c78f3e
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/rust-tests/cbmc-reg/FatPointers/slice2.rs → ...ests/cbmc-reg/FatPointers/fixme_slice2.rs b/rust-tests/cbmc-reg/FatPointers/slice2.rs → ...ests/cbmc-reg/FatPointers/fixme_slice2.rs