[Bug]: Transaction may run out of gas when using `validate_property`

[wulfraem]

Bug description

When using validate_property with an attester, that has a value for a property, but not the checked one, the transaction runs out of gas (error "InsufficientGas") in the while loop in is_property_allowed.

Expected behavior

validate_property would return in such a case.

Can the issue reliably be reproduced?

Yes

Example repository

No response

Steps to reproduce

1. Create a federation with two properties and a value each, e.g. "role" with value "example" and "foo" with value "bar".
2. Create an accreditation to attest for an account for "foo" with "bar".
3. Check if that account has the property "role" with the value "example". Running this check in a transaction or inside a PTB should let the transaction run out of gas.

Language

Go

Language Version

↑ This should be "Move" (not available in dropdown).

Version

post 0.1.3-alpha main branch (commit 9a7f9fa)

Hardware specifications

No response

Additional info

No response