Rename 05_take test to 16_take

creusot-rs · Oct 19, 2023 · 03a8550 · 03a8550
1 parent 04d5930
commit 03a8550
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