Update proof session and shape files

Ref. #796
AdaCore · Oct 7, 2021 · 790d5c3 · 790d5c3
1 parent c2a792c
commit 790d5c3
Show file tree

Hide file tree

Showing 38 changed files with 229 additions and 229 deletions.
diff --git a/...nt/proof/sessions/ada___ada___rflx__dhcp__domain_name_servers__initialize/why3session.xml b/...nt/proof/sessions/ada___ada___rflx__dhcp__domain_name_servers__initialize/why3session.xml
diff --git a/...cp_client/proof/sessions/ada___ada___rflx__dhcp__option_codes__initialize/why3session.xml b/...cp_client/proof/sessions/ada___ada___rflx__dhcp__option_codes__initialize/why3session.xml
diff --git a/...dhcp_client/proof/sessions/ada___ada___rflx__dhcp__option_codes__initialize/why3shapes.gz b/...dhcp_client/proof/sessions/ada___ada___rflx__dhcp__option_codes__initialize/why3shapes.gz
diff --git a/...ps/dhcp_client/proof/sessions/ada___ada___rflx__dhcp__options__initialize/why3session.xml b/...ps/dhcp_client/proof/sessions/ada___ada___rflx__dhcp__options__initialize/why3session.xml
diff --git a/...ps/dhcp_client/proof/sessions/ada___ada___rflx__dhcp__routers__initialize/why3session.xml b/...ps/dhcp_client/proof/sessions/ada___ada___rflx__dhcp__routers__initialize/why3session.xml
diff --git a/...of/sessions/ada___ada___rflx__dhcp_client__dhcp_message_types__initialize/why3session.xml b/...of/sessions/ada___ada___rflx__dhcp_client__dhcp_message_types__initialize/why3session.xml
diff --git a/examples/apps/dhcp_client/proof/sessions/session/why3shapes.gz b/examples/apps/dhcp_client/proof/sessions/session/why3shapes.gz
diff --git a/examples/apps/dhcp_client/proof/sessions/session__failure/why3shapes.gz b/examples/apps/dhcp_client/proof/sessions/session__failure/why3shapes.gz
diff --git a/examples/apps/dhcp_client/proof/sessions/session__finalize/why3shapes.gz b/examples/apps/dhcp_client/proof/sessions/session__finalize/why3shapes.gz
diff --git a/examples/apps/dhcp_client/proof/sessions/session__initialize/why3session.xml b/examples/apps/dhcp_client/proof/sessions/session__initialize/why3session.xml
diff --git a/examples/apps/dhcp_client/proof/sessions/session__initialize/why3shapes.gz b/examples/apps/dhcp_client/proof/sessions/session__initialize/why3shapes.gz
diff --git a/examples/apps/dhcp_client/proof/sessions/session__receive_ack/why3session.xml b/examples/apps/dhcp_client/proof/sessions/session__receive_ack/why3session.xml
diff --git a/examples/apps/dhcp_client/proof/sessions/session__receive_ack/why3shapes.gz b/examples/apps/dhcp_client/proof/sessions/session__receive_ack/why3shapes.gz
diff --git a/...dhcp_client/proof/sessions/session__receive_ack__B_13__dhcp_message_write/why3session.xml b/...dhcp_client/proof/sessions/session__receive_ack__B_13__dhcp_message_write/why3session.xml
diff --git a/...s/dhcp_client/proof/sessions/session__receive_ack__B_13__dhcp_message_write/why3shapes.gz b/...s/dhcp_client/proof/sessions/session__receive_ack__B_13__dhcp_message_write/why3shapes.gz
diff --git a/examples/apps/dhcp_client/proof/sessions/session__receive_offer/why3session.xml b/examples/apps/dhcp_client/proof/sessions/session__receive_offer/why3session.xml
diff --git a/examples/apps/dhcp_client/proof/sessions/session__receive_offer/why3shapes.gz b/examples/apps/dhcp_client/proof/sessions/session__receive_offer/why3shapes.gz