[ETHEREUM-CONTRACTS] min deposit behaviour

[d10r]

Step 1: simple, non-fuzzing test case visualizing the problem

This is the test log output:

[FAIL. Reason: assertion failed] testUpdateFlowWithMinDeposit() (gas: 2939604)
Logs:
  Minimum deposit 1000 (raw: 4294967296000)
  ===== #1: alice -> app createFlow | app mode FORWARD_ALL | blocktime 1 =====
    alice -> app FR 4, deposit 2000 1000
    app -> bob FR 4, deposit 1000 0
    APP ctx in : credit granted|used 1001 0
    APP ctx out: credit granted|used 1001 1000
    == acc alice ==
    realtimeBalance 309485009821336478790189055
    deposit 2000 0
    == acc app ==
    realtimeBalance 0
    deposit 1000 1000
  ===== #2: alice -> app updateFlow | app mode FORWARD_ALL | blocktime 1 =====
    alice -> app FR 8, deposit 1001 1000
    app -> bob FR 8, deposit 1000 0
    APP ctx in : credit granted|used 1001 1000
    APP ctx out: credit granted|used 1001 1000
    == acc alice ==
    realtimeBalance 309485009821340769462517759
    deposit 1001 0
    == acc app ==
    realtimeBalance 0
    deposit 1000 1000
  Error: deposit shouldn't decrease
  Error: a >= b not satisfied [uint]
    Value a: 4299262263296
    Value b: 8589934592000

Test result: FAILED. 0 passed; 1 failed; 0 skipped; finished in 26.76ms
 
Ran 1 test suites: 0 tests passed, 1 failed, 0 skipped (1 total tests)

[github-actions]

Changelog Reminder

Reminder to update the CHANGELOG.md for any of the modified packages in this PR.

• CHANGELOG.md modified
• Double check before merge