Running out of gas

[beatrizmoreira]

Hello,
I know the external calls are not implemented, but I was wondering how does Flint-2 verify if a contract has enough gas to make a call? And if so, do you have a formal definition?
Thank you!
--Beatriz

[egroge]

We did not get around to gas checking, since we were unable to get the eWASM contracts running on any testnet. We do not have a formal definition either.