Add proof session files

Ref. #609
AdaCore · Sep 7, 2021 · 554af7a · 554af7a
1 parent 49f7244
commit 554af7a
Show file tree

Hide file tree

Showing 110 changed files with 5,569 additions and 0 deletions.
diff --git a/...rized_messages]/sessions/ada___ada___rflx__test__message__available_space/why3session.xml b/...rized_messages]/sessions/ada___ada___rflx__test__message__available_space/why3session.xml
diff --git a/...terized_messages]/sessions/ada___ada___rflx__test__message__available_space/why3shapes.gz b/...terized_messages]/sessions/ada___ada___rflx__test__message__available_space/why3shapes.gz
diff --git a/...rameterized_messages]/sessions/ada___ada___rflx__test__message__byte_size/why3session.xml b/...rameterized_messages]/sessions/ada___ada___rflx__test__message__byte_size/why3session.xml
diff --git a/...parameterized_messages]/sessions/ada___ada___rflx__test__message__byte_size/why3shapes.gz b/...parameterized_messages]/sessions/ada___ada___rflx__test__message__byte_size/why3shapes.gz
diff --git a/...parameterized_messages]/sessions/ada___ada___rflx__test__message__context/why3session.xml b/...parameterized_messages]/sessions/ada___ada___rflx__test__message__context/why3session.xml
diff --git a/...y[parameterized_messages]/sessions/ada___ada___rflx__test__message__context/why3shapes.gz b/...y[parameterized_messages]/sessions/ada___ada___rflx__test__message__context/why3shapes.gz
diff --git a/...ty[parameterized_messages]/sessions/ada___ada___rflx__test__message__copy/why3session.xml b/...ty[parameterized_messages]/sessions/ada___ada___rflx__test__message__copy/why3session.xml
diff --git a/...lity[parameterized_messages]/sessions/ada___ada___rflx__test__message__copy/why3shapes.gz b/...lity[parameterized_messages]/sessions/ada___ada___rflx__test__message__copy/why3shapes.gz
diff --git a/...y[parameterized_messages]/sessions/ada___ada___rflx__test__message__equal/why3session.xml b/...y[parameterized_messages]/sessions/ada___ada___rflx__test__message__equal/why3session.xml
diff --git a/...ity[parameterized_messages]/sessions/ada___ada___rflx__test__message__equal/why3shapes.gz b/...ity[parameterized_messages]/sessions/ada___ada___rflx__test__message__equal/why3shapes.gz
diff --git a/...eterized_messages]/sessions/ada___ada___rflx__test__message__field_cursor/why3session.xml b/...eterized_messages]/sessions/ada___ada___rflx__test__message__field_cursor/why3session.xml
diff --git a/...ameterized_messages]/sessions/ada___ada___rflx__test__message__field_cursor/why3shapes.gz b/...ameterized_messages]/sessions/ada___ada___rflx__test__message__field_cursor/why3shapes.gz
diff --git a/...messages]/sessions/ada___ada___rflx__test__message__field_cursorPredicate/why3session.xml b/...messages]/sessions/ada___ada___rflx__test__message__field_cursorPredicate/why3session.xml
diff --git a/...d_messages]/sessions/ada___ada___rflx__test__message__field_cursorPredicate/why3shapes.gz b/...d_messages]/sessions/ada___ada___rflx__test__message__field_cursorPredicate/why3shapes.gz