Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

aave formal verification grant Feature/steth on prev version Parth Patel #4

Open
wants to merge 3 commits into
base: feature/steth-on-prev-version
Choose a base branch
from

Conversation

parth-15
Copy link

Commented the hook due to utils.CertoraInternalException: Certora internal exception; please report this to Certora.

Exception type: HOOK_INLINING

Without the hook, all rules are running perfectly. Report:  https://prover.certora.com/output/34577/a2aa506df15fc64e45ec/?anonymousKey=ac40fef8089781670623c5fdac586ecd1ffb466b

Using hook throws following exception: [utils.CertoraInternalException: Certora internal exception; please report this to Certora.
Exception type: HOOK_INLINING
Exception message: Type checker should not allow multiple hooks of the same pattern.]

Asked in discord. yet to receive an answer. https://discord.com/channels/795999272293236746/967783163386536007/991372994125496391

parth-15 added 2 commits June 28, 2022 20:08
…ernal exception; please report this to Certora.

Exception type: HOOK_INLINING

Without the hook, all rules are running perfectly. Report:  https://prover.certora.com/output/34577/a2aa506df15fc64e45ec/?anonymousKey=ac40fef8089781670623c5fdac586ecd1ffb466b

Using hook throws following exception: [utils.CertoraInternalException: Certora internal exception; please report this to Certora.
Exception type: HOOK_INLINING
Exception message: Type checker should not allow multiple hooks of the same pattern.]

Asked in discord. yet to receive an answer. https://discord.com/channels/795999272293236746/967783163386536007/991372994125496391
@parth-15 parth-15 changed the title Feature/steth on prev version Parth Patel aave formal verification grant Feature/steth on prev version Parth Patel Jun 28, 2022
Message received from Uri: You can update your rule; it will be counted even though the project is officially closed because it took us a while to return to you

Thank you for reporting this. We will work on making that error message clearer, with the locations of the hooks.
@parth-15
Copy link
Author

parth-15 commented Jun 30, 2022

Report: https://prover.certora.com/output/34577/624d6780738a89cd7ca9/?anonymousKey=7f82d78291cda6540ae54560d677392245176962

Conversation with Uri:

You can update your rule; it will be counted even though the project is officially closed because it took us a while to return to you

Thank you for reporting this. We will work on making that error message clearer, with the locations of the hooks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant