Merge pull request #897 from xldenis/fix-iter-take

Rename 05_take test to 16_take
creusot-rs · Oct 19, 2023 · d7d19d8 · d7d19d8
2 parents 04d5930 + 03a8550
commit d7d19d8
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