Update tests

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

Hide file tree

Showing 6 changed files with 312 additions and 312 deletions.
diff --git a/creusot/tests/creusot-contracts/creusot-contracts.coma b/creusot/tests/creusot-contracts/creusot-contracts.coma
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