Merge branch 'fix/69' into 'master'

Resolve "Fix Peckshield evidence PVE016: Business logic in validateWithdraw()"

Closes #69

See merge request aave-tech/protocol-v2!78

contracts/libraries/logic/ValidationLogic.sol

@@ -65,7 +65,7 @@ library ValidationLogic {
       GenericLogic.balanceDecreaseAllowed(
         reserveAddress,
         msg.sender,
-        userBalance,
+        amount,
         reservesData,
         userConfig,
         reserves,

test/helpers/scenarios/withdraw.json

@@ -342,6 +342,20 @@
           "expected": "success"
         }
       ]
+    },
+    {
+      "description": "Users 1 tries to withdraw 0.05 WETH, which does not bring the HF below 1",
+      "actions": [
+        {
+          "name": "withdraw",
+          "args": {
+            "reserve": "WETH",
+            "amount": "0.05",
+            "user": "1"
+          },
+          "expected": "success"
+        }
+      ]
     }
   ]
 }