When the  exitFarm is called:
However, it doesnt revert the isAave mapping to false:
Trust (judge) commented:
For this audit, 6 reports were submitted by wardens detailing gas optimizations. The report highlighted below by 0xAnah received the top score from the judge.
The following wardens also submitted reports: 0x11singh99, dharma09, K42, 0xhacksmithh, and albahaca.
Highlighted below are optimizations exclusively targeting state-mutating functions and view/pure functions invoked by state-mutating functions. In the discussion that follows, only runtime gas is emphasized, given its inevitable dominance over deployment gas costs throughout the protocols lifetime. 
Please be aware that some code snippets may be shortened to conserve space, and certain code snippets may include @audit tags in comments to facilitate issue explanations.
