2 ms·
Huh you’re right! The code and the TLA+ model are different: > if (from.balance <= amount) # guard > if acct[from] >= amnt then
by NavinF 4y ago
Huh you’re right! The code and the TLA+ model are different:
> if (from.balance <= amount) # guard
> if acct[from] >= amnt then