Merge branch 'master' into borroed-ghost

creusot-rs · Oct 20, 2023 · 45b690f · 45b690f
2 parents 13c326e + d7d19d8
commit 45b690f
Show file tree

Hide file tree

Showing 5 changed files with 236 additions and 235 deletions.
diff --git a/creusot/tests/should_succeed/iterators/05_take/why3shapes.gz b/creusot/tests/should_succeed/iterators/05_take/why3shapes.gz