Update tests

creusot-rs · Nov 23, 2024 · e23322f · e23322f
1 parent 7d24daa
commit e23322f
Show file tree

Hide file tree

Showing 46 changed files with 2,066 additions and 1,680 deletions.
diff --git a/creusot/tests/should_fail/bug/01_resolve_unsoundness.coma b/creusot/tests/should_fail/bug/01_resolve_unsoundness.coma
diff --git a/creusot/tests/should_fail/bug/subregion.coma b/creusot/tests/should_fail/bug/subregion.coma
diff --git a/creusot/tests/should_succeed/100doors.coma b/creusot/tests/should_succeed/100doors.coma
diff --git a/creusot/tests/should_succeed/all_zero.coma b/creusot/tests/should_succeed/all_zero.coma