Update tests

creusot-rs · Nov 28, 2024 · 838f533 · 838f533
1 parent 4d6e5f1
commit 838f533
Show file tree

Hide file tree

Showing 3 changed files with 118 additions and 0 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