Closed rori4 closed 7 months ago
Latest certora test: https://prover.certora.com/output/13/f9924767347a48a6963a8e4fedfe943e/?anonymousKey=8534d503ee56715a7feba9822439ed06ab4400b1
Had to patch the init price casting and the range of the price multiplier to make the init price not overflow in edge cases. Let me know what you think
To run the tests set your certora key and run ./formal-verification/run.sh
./formal-verification/run.sh
Latest certora test: https://prover.certora.com/output/13/f9924767347a48a6963a8e4fedfe943e/?anonymousKey=8534d503ee56715a7feba9822439ed06ab4400b1
Had to patch the init price casting and the range of the price multiplier to make the init price not overflow in edge cases. Let me know what you think
To run the tests set your certora key and run
./formal-verification/run.sh