Update tests

creusot-rs · Nov 30, 2024 · fb51007 · fb51007
1 parent 19018b2
commit fb51007
Show file tree

Hide file tree

Showing 75 changed files with 15,486 additions and 15,501 deletions.
diff --git a/creusot/tests/creusot-contracts/creusot-contracts.coma b/creusot/tests/creusot-contracts/creusot-contracts.coma
diff --git a/creusot/tests/creusot-contracts/creusot-contracts/why3session.xml b/creusot/tests/creusot-contracts/creusot-contracts/why3session.xml
diff --git a/creusot/tests/creusot-contracts/creusot-contracts/why3shapes.gz b/creusot/tests/creusot-contracts/creusot-contracts/why3shapes.gz
diff --git a/creusot/tests/should_fail/bug/878.coma b/creusot/tests/should_fail/bug/878.coma
diff --git a/creusot/tests/should_fail/bug/specialize.coma b/creusot/tests/should_fail/bug/specialize.coma
diff --git a/creusot/tests/should_succeed/100doors.coma b/creusot/tests/should_succeed/100doors.coma
diff --git a/creusot/tests/should_succeed/bdd.coma b/creusot/tests/should_succeed/bdd.coma
diff --git a/creusot/tests/should_succeed/bug/217.coma b/creusot/tests/should_succeed/bug/217.coma
diff --git a/creusot/tests/should_succeed/bug/final_borrows.coma b/creusot/tests/should_succeed/bug/final_borrows.coma
diff --git a/creusot/tests/should_succeed/bug/two_phase.coma b/creusot/tests/should_succeed/bug/two_phase.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/cell/02.coma b/creusot/tests/should_succeed/cell/02.coma
diff --git a/creusot/tests/should_succeed/constrained_types.coma b/creusot/tests/should_succeed/constrained_types.coma
diff --git a/creusot/tests/should_succeed/filter_positive.coma b/creusot/tests/should_succeed/filter_positive.coma
diff --git a/creusot/tests/should_succeed/fmap_indexing.coma b/creusot/tests/should_succeed/fmap_indexing.coma
diff --git a/creusot/tests/should_succeed/fmap_indexing/why3session.xml b/creusot/tests/should_succeed/fmap_indexing/why3session.xml
diff --git a/creusot/tests/should_succeed/fmap_indexing/why3shapes.gz b/creusot/tests/should_succeed/fmap_indexing/why3shapes.gz