Update tests

creusot-rs · Jan 20, 2025 · a73be0c · a73be0c
1 parent f73fcb2
commit a73be0c
Show file tree

Hide file tree

Showing 5 changed files with 116 additions and 116 deletions.
diff --git a/creusot/tests/should_succeed/bug/vcgen.coma b/creusot/tests/should_succeed/bug/vcgen.coma
diff --git a/creusot/tests/should_succeed/cc/collections.coma b/creusot/tests/should_succeed/cc/collections.coma
diff --git a/creusot/tests/should_succeed/fmap_indexing.coma b/creusot/tests/should_succeed/fmap_indexing.coma