safe-global / safe-modules / 11323190278

100%

master: 85%

push

github

FV based on audit of Passkey module (#496)

Based on #495 

This PR was made based on Certora's `safe-modules` repo with the FV
specifications.

The author was manually changed to avoid the CLA requirement.

Steps:
```
git remote add Certora https://github.com/Certora/safe-modules/
git fetch Certora
git checkout -b fv-passkey
git merge --squash certora
// Git commit with GUI to add details of all squashed commits
git commit --amend --author="Shebin John <admin@remedcu.com>" --no-edit
git push -u origin fv-passkey
```

Some other changes includes:
- Moving FV to `modules/passkey`
- Formatting changes
- Path update
- Using `solc8.26` for FV

28 of 28 branches covered (100.0%)

Branch coverage included in aggregate %.

92 of 92 relevant lines covered (100.0%)

30.29 hits per line