lambdaclass / cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
https://lambdaclass.github.io/cairo-vm
Apache License 2.0
514 stars 145 forks source link

Add unit test for `apply_ap_tracking_correction` with invalid offset #1661

Open tcoratger opened 6 months ago

tcoratger commented 6 months ago

Add unit test for apply_ap_tracking_correction with invalid offset

Description

This pull request adds a new unit test for the apply_ap_tracking_correction function in order to cover the scenario where the offset of the hint AP tracking is invalid. This ensures better test coverage and helps identify potential issues related to AP tracking correction.

Checklist