Closed zmalatrax closed 1 month ago
TestLessThanOrEqualAddress requires the possibility to extract Relocatable from a ResOperand.
Current method getResOperandValue() only extracts Felt.
getResOperandValue()
Either adapt it or create a gesResOperandAddress() that only extracts Relocatable.
gesResOperandAddress()
Having two distinct methods allows enforcing the Felt or Relocatable value directly in the vm API rather than adding checks in the hints.
TestLessThanOrEqualAddress requires the possibility to extract Relocatable from a ResOperand.
Current method
getResOperandValue()only extracts Felt.Either adapt it or create a
gesResOperandAddress()that only extracts Relocatable.Having two distinct methods allows enforcing the Felt or Relocatable value directly in the vm API rather than adding checks in the hints.